mirror of
https://github.com/MariaDB/server.git
synced 2025-11-12 10:22:39 +03:00
(as part of the auto_increment cleanup of WL#3146; let's not be sad, that monster push still removed serious bugs): one problem with INSERT DELAYED (unexpected interval releases), one with stored functions (wrong auto_inc binlogging). These bugs were not released.