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