[debian-mysql] Bug#767903: mariadb-server-10.0: missing versioned dependency on libpcre3 >=1:8.35

[Stefan]

Package: mariadb-server-10.0
Version: 10.0.14-4
Followup-For: Bug #767903

Hi,

Are you aware of this:

https://blog.mariadb.org/mariadb-upgrades-to-pcre-8-34/

Regards,

Stefan