mirror of
https://github.com/MariaDB/server.git
synced 2025-10-30 04:26:45 +03:00
This is used by InnoDB to detect if CREATE...SELECT is used Other things: - Changed InnoDB to use thd_ddl_options() - Removed lock checking code for create...select (Approved by Marko)