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

Merge 10.5 into 10.6

This commit is contained in:
Marko Mäkelä
2022-10-06 09:22:39 +03:00
117 changed files with 1038 additions and 600 deletions

View File

@ -6,6 +6,7 @@
-- source include/have_64bit.inc
# No point in running with valgrind as it takes 1.5 hours
-- source include/not_valgrind.inc
# This test often times out with MemorySanitizer.
-- source include/not_msan.inc
# Save the initial number of concurrent sessions