1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-30 16:24:05 +03:00
This commit is contained in:
Sergei Golubchik
2011-11-03 23:39:53 +01:00
68 changed files with 286 additions and 259 deletions

View File

@ -274,7 +274,7 @@ ok1(int const pass)
}
void
skip(int how_many, char const *fmt, ...)
skip(int how_many, char const * const fmt, ...)
{
char reason[80];
if (fmt && *fmt)