Thanks! Hope the fix will be good enough to solve this issue.
Unfortunately, Kazuhiko Shiozaki reported 3 days ago on the MariaDB bug report (http://cpc.cx/jg3) that the same crash happened to MariaDB 10.1.23 with the patch applied. That's the only report so far. PS: The package currently available in testing (10.1.22-3) seems badly affected by this issue (no problem with the previous 10.1.21-5). > Hi Sam, > > thanks for the heads-up and for the link to the patch - it applies > cleanly (after whitespace fixes) to MariaDB 10.1.23, so I am just > building 10.1.23-5 with the patch applied. > > Cheers, > -- > Ondřej Surý > Knot DNS (https://www.knot-dns.cz/) - a high-performance DNS server > Knot Resolver (https://www.knot-resolver.cz/) - secure, privacy-aware, > fast DNS(SEC) resolver > Vše pro chleba (https://vseprochleba.cz) - Mouky ze mlýna a potřeby pro > pečení chleba všeho druhu