mirror of
https://github.com/MariaDB/server.git
synced 2025-12-15 08:21:24 +03:00
"Distinct" optimization is not used by this query (both in this tree and in mainline 10.2). Verified this in debugger.
"Distinct" optimization is not used by this query (both in this tree and in mainline 10.2). Verified this in debugger.