Comments - index pushdown - Bug or Side Effect
Content reproduced on this site is the property of its respective owners,
and this content is not reviewed in advance by MariaDB. The views, information and opinions
expressed by this content do not necessarily represent those of MariaDB or any other party.
Thank you :-)
all the best, John
FYI: The problem has been fixed, the fix will be included in the next 5.3 release, and in the 5.5 series release that is after the next one (5.5.23 was already building, so the fix didn't make it into 5.5.23)
s/5.5.23/5.5.24/. The fix will be in the release next after 5.5.24.