Sergei Golubchik 9af177042e 10.0-base merge. ... Partitioning/InnoDB changes are *not* merged (they'll come from 5.6) TokuDB does not compile (not updated to 10.0 SE API)		2013-09-21 10:14:42 +02:00
..
inc	Merge MariaDB 10.0-base to MariaDB 10.0	2012-12-18 15:01:58 +01:00
r	5.5 merge and fixes for compiler/test errors	2013-09-18 13:07:31 +02:00
t	10.0-base merge.	2013-09-21 10:14:42 +02:00