mirror of
https://github.com/MariaDB/server.git
synced 2025-12-16 22:03:23 +03:00
make sure to alloc logspace and set bits if doing delete after previous update wo/ touching DD part
16 KiB
16 KiB