1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-01 03:47:19 +03:00

Merge branch '11.2' into 11.3

This commit is contained in:
Sergei Golubchik
2023-12-21 01:17:10 +01:00
760 changed files with 29692 additions and 5649 deletions

View File

@ -5,6 +5,7 @@
--source include/not_embedded.inc
--source include/have_perfschema.inc
--source include/have_innodb.inc
--source include/maybe_debug.inc
UPDATE performance_schema.setup_instruments SET enabled = 'NO', timed = 'YES';