mirror of
https://github.com/MariaDB/server.git
synced 2026-05-15 19:37:16 +02:00
Improvements to reduce the output for better reading and more stability.
This commit is contained in:
parent
1792de0af9
commit
88eeaa05de
14 changed files with 161 additions and 3542 deletions
|
|
@ -7,6 +7,8 @@
|
|||
#
|
||||
--source include/check_ipv6.inc
|
||||
|
||||
# Can't be tested with windows due to the mixed format like 0:0:0:0:0:FFFF:127.0.0.1
|
||||
--source include/not_windows.inc
|
||||
# Can't be tested with embedded server
|
||||
--source include/not_embedded.inc
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue