mirror of
https://github.com/MariaDB/server.git
synced 2025-11-09 11:41:36 +03:00
after few delete statements Problem: changing a file size might require that it must be unmapped beforehand. Fix: unmap the file before changing its size.
5.4 KiB
5.4 KiB