mirror of
https://github.com/MariaDB/server.git
synced 2025-05-28 13:01:41 +03:00
Remove a bogus debug assertion that triggered the bug. Add assertions precisely where records must not be delete-marked. And a comment to clarify when the record is allowed to be delete-marked.