mirror of
https://github.com/MariaDB/server.git
synced 2025-11-15 09:02:33 +03:00
Changed end-space comparison so that the key is not used past its end. This is due to the new end-space behaviour in 4.1. See also bug 6151 and 9188.
10 KiB
10 KiB