mirror of
https://github.com/MariaDB/server.git
synced 2025-11-30 05:23:50 +03:00
Undo the previous band-aid fix in psergey@askmonty.org-20130802141209-4dqfvx2db8acxwbl. Kristian has made a proper fix, which uses a different approach.
183 KiB
183 KiB