1
0
mirror of https://github.com/MariaDB/server.git synced 2025-11-09 11:41:36 +03:00
Files
mariadb/sql/sql_manager.cc
unknown 2c660371c9 mysql_priv.h manager_status is volatile
sql_manager.cc	manager_status is volatile


sql/mysql_priv.h:
  manager_status is volatile
sql/sql_manager.cc:
  manager_status is volatile
2000-11-28 15:59:46 -05:00

2.8 KiB