mirror of
https://github.com/MariaDB/server.git
synced 2025-01-22 14:54:20 +01:00
4ff970b08a
Calling push_warning/push_warning_printf with a level of WARN_LEVEL_ERROR *is* a bug. We should either use my_error(), or WARN_LEVEL_WARN. |
||
---|---|---|
.. | ||
r | ||
std_data | ||
t | ||
combinations |