[debian-mysql] MariaDB 10.0 status?

[Ondřej Surý]

Hi Otto,

pushed jessie branch - I already merged the one single master commit
there. You can force push to discard the commit, but I just thought it
isn't worthwhile.

Cheers,
-- 
Ondřej Surý <ondrej at sury.org>
Knot DNS (https://www.knot-dns.cz/) – a high-performance DNS server
Knot Resolver (https://www.knot-resolver.cz/) – secure, privacy-aware,
fast DNS(SEC) resolver
Vše pro chleba (https://vseprochleba.cz) – Mouky ze mlýna a potřeby pro
pečení chleba všeho druhu

On Sat, Jun 3, 2017, at 10:15, Otto Kekäläinen wrote:
> Hello Ondrej!
> 
> I am just checking: at
> https://anonscm.debian.org/gitweb/?p=pkg-mysql/mariadb-10.0.git there
> is commit 9a744cf by you in late March.
> 
> The master branch is however never uploaded anywhere anymore: all
> relevant changes should go to the jessie or to some of the ubuntu
> branches (or all of them).
> 
> Also it looks like you did the change but never uploaded it.
> 
> Before I proceed, I thought I should check with you what the status is
> so I know if I maybe should discard the commit or do some
> cherry-picking to the other branches or what.