mirror of https://github.com/MariaDB/server
Browse Source
to fix a problem with the test case for bug#42116. Re-commit of Igor's fix due to re-commit of MySQL 5.1.41 merge.pull/843/head
1 changed files with 1 additions and 1 deletions
Loading…
Reference in new issue