1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-07 00:04:31 +03:00

Merge 10.1 into 10.2

This commit is contained in:
Marko Mäkelä
2017-05-23 11:09:47 +03:00
320 changed files with 7971 additions and 6087 deletions

View File

@@ -62,5 +62,4 @@ FOUND 1 /public/ in t7.ibd
FOUND 1 /public/ in t8.ibd
# t9 page compressed expecting NOT FOUND
NOT FOUND /public/ in t9.ibd
use test;
drop database enctests;