mirror of https://github.com/MariaDB/server
Browse Source
Make sure head after undo execute does not point to last page of file As this will confuse next write to grouppull/73/head
1 changed files with 19 additions and 0 deletions
Loading…
Reference in new issue