On Thu, 07 Mar 2019 16:28:15 +0100, gregor herrmann wrote: > I've pushed this to salsa but I'd like to wait a day or two and see > of the PR gets merged and/or if other solutions arise (there's a > second patch around, and also a MariaDB bug report: > https://jira.mariadb.org/browse/MDEV-18823 )
Uploaded now as per request of the release team in order to unblock MariaDB. We still can improve the fix in case newer developments happen upstream. Cheers, gregor -- .''`. https://info.comodo.priv.at -- Debian Developer https://www.debian.org : :' : OpenPGP fingerprint D1E1 316E 93A7 60A8 104D 85FA BB3A 6801 8649 AA06 `. `' Member VIBE!AT & SPI Inc. -- Supporter Free Software Foundation Europe `- NP: U2: Zooropa
signature.asc
Description: Digital Signature
