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

Merge branch '10.4' into 10.5

This commit is contained in:
Oleksandr Byelkin
2022-10-14 12:28:32 +02:00
5 changed files with 10 additions and 1 deletions

View File

@ -7,6 +7,7 @@
# application. 'mysqltest' does not handle the kill request.
#
-- source include/count_sessions.inc
-- source include/not_embedded.inc
-- source include/have_debug_sync.inc
-- source include/have_debug_sync.inc