I have merged this into lp:~maria-captains/maria/5.1-release. (This will go into the MariaDB 5.1.41 release and will later be merged into main lp:maria).
Thanks for the fix!
« Back to merge proposal
I have merged this into lp:~maria-captains/maria/5.1-release.
(This will go into the MariaDB 5.1.41 release and will later be merged into main lp:maria).
Thanks for the fix!