mirror of https://github.com/MariaDB/server
Browse Source
Probably the result is due to a bug fixed on their server. Restoring old behaviour for now.pull/20/merge
1 changed files with 3 additions and 4 deletions
Loading…
Reference in new issue