1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-08 11:22:35 +03:00

Merge branch '10.4' into 10.5

This commit is contained in:
Oleksandr Byelkin
2021-07-31 23:19:51 +02:00
345 changed files with 7745 additions and 2127 deletions

View File

@@ -15,7 +15,7 @@ while (!$mysql_errno)
dec $counter;
if (!$counter)
{
--die Server failed to dissapear
--die Server failed to disappear
}
--real_sleep 0.1
}