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

Merge branch '10.3' into 10.4

This commit is contained in:
Oleksandr Byelkin
2022-10-14 10:26:22 +02:00
4 changed files with 9 additions and 0 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/not_threadpool.inc