mirror of
https://github.com/MariaDB/server.git
synced 2025-11-10 23:02:54 +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