1
0
mirror of https://github.com/MariaDB/server.git synced 2025-12-16 22:03:23 +03:00

Correct a merge error of MDEV-11626

This commit is contained in:
Marko Mäkelä
2017-06-09 13:44:04 +03:00
parent d03abc71a4
commit a9117c9008

View File

@@ -3201,6 +3201,7 @@ got_block:
}
if (buf_flush_page_try(buf_pool, fix_block)) {
guess = fix_block;
goto loop;
}