mirror of
https://github.com/MariaDB/server.git
synced 2026-05-10 17:14:30 +02:00
Merge 10.5 into 10.6
This commit is contained in:
commit
5c21cba602
12 changed files with 104 additions and 46 deletions
|
|
@ -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
|
||||
-- source include/not_msan.inc
|
||||
|
||||
# Save the initial number of concurrent sessions
|
||||
--source include/count_sessions.inc
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue