Hi, I will be attaching debdiff for mariadb-10.0 in a followup separate email, so at least this message reaches debian-release.
Apart from new upstream release, I am rolling back upstream change that would use embedded pcre3 library and refreshing patches. Sorry I missed the deadline for next point release, but my IRL point releases are sucking up all the energy I have left. Cheers, -- Ondřej Surý <ond...@sury.org>