Any idea when we might see MariaDB 10.1.42 to counter <https://vuxml.freebsd.org/freebsd/fc91f2ef-fd7b-11e9-a1c7-b499baebfeaf.html>? (It’s been a week). -- A man without religion is like a fish without a bicycle.