1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-30 16:24:05 +03:00

Try to stabilize main.innodb_ext_key,off

Thanks to Varun Gupta for suggesting this. This seems to
make main.innodb_ext_key,off more stable.
This commit is contained in:
Marko Mäkelä
2020-10-30 13:18:41 +02:00
parent cb253b8687
commit 5b3be9e1c6
3 changed files with 8 additions and 5 deletions

View File

@ -1,3 +1,5 @@
--- innodb_ext_key.result
+++ innodb_ext_key,off.result
@@ -9,7 +9,7 @@
explain
select count(*) from lineitem where l_orderkey=130 and l_shipdate='1992-07-01';