Re: [Maria-discuss] mariadb 10.3.15 doesn't work

Hi!

It's https://jira.mariadb.org/browse/MDEV-19490

The fix is already pushed, it should be in 10.3.16

Will the 10.3.16 come earlier as the expected 2019-06-28 release date or no? It's a bit scary running on production now with such a simple way of generating a server segfault. rr