mirror of
https://github.com/MariaDB/server.git
synced 2025-01-15 19:42:28 +01:00
lost in editinig line added
This commit is contained in:
parent
001608de7e
commit
7a5b8bf0f5
1 changed files with 1 additions and 0 deletions
|
@ -1,5 +1,6 @@
|
|||
-- source include/not_embedded.inc
|
||||
--source include/have_debug.inc
|
||||
--source include/not_asan.inc
|
||||
|
||||
--echo #
|
||||
--echo # Beginning of 10.3 test
|
||||
|
|
Loading…
Reference in a new issue