1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-29 05:21:33 +03:00

Merge branch '10.11' into 11.0

This commit is contained in:
Oleksandr Byelkin
2024-01-30 08:54:10 +01:00
193 changed files with 6186 additions and 1673 deletions

View File

@ -1,5 +1,7 @@
--source include/not_embedded.inc
--source include/have_perfschema.inc
# This does not crash on 32 bit because of less memory used
--source include/have_64bit.inc
--echo #
--echo # MDEV-33150 double-locking of LOCK_thd_kill in performance_schema.session_status
--echo #