mirror of
https://github.com/MariaDB/server.git
synced 2025-01-22 06:44:16 +01:00
2 lines
38 B
Text
2 lines
38 B
Text
|
SET @NO_REFRESH = IF( '' = '', 0, 1);
|