mirror of
https://github.com/MariaDB/server.git
synced 2025-12-21 11:01:08 +03:00
IS EXECUTED TWICE FROM P This bug is a duplicate of bug 12567331, which was pushed to the optimizer backporting tree on 2011-06-11. This is just a back-port of the fix. Both test cases are included as they differ somewhat.
36 KiB
36 KiB