mirror of
https://github.com/MariaDB/server.git
synced 2025-01-19 21:42:35 +01:00
e1bc99c131
Fixed wrong test of database name (affected optimization of ORDER BY) |
||
---|---|---|
.. | ||
mysys.dsp | ||
mysys.dsw |