mirror of
https://github.com/MariaDB/server.git
synced 2025-09-02 09:41:40 +03:00
9fa1b08faa
make sure to alloc logspace and set bits if doing delete after previous update wo/ touching DD part