Bug#870200: linking to mariadb bug report tool

[Faustin Lammler]

Hi Harald,
thank you for your help!

Linking this bug to MariaDB bug report tool:
https://jira.mariadb.org/browse/MDEV-13672

Faustin