-
Committer:
Stewart Smith
-
Date:
2012-07-02 02:01:25 UTC
-
mfrom:
(447.3.2 5.1-bug896439)
-
Revision ID:
stewart@flamingspork.com-20120702020125-i694wrhrfp6lfuym
merge fix for Bug #896439: Server started with skip-innodb crashes on SELECT * FROM INNODB_TABLE_STATS or INNODB_INDEX_STATS