mirror of
https://github.com/MariaDB/server.git
synced 2026-05-07 15:45:33 +02:00
A post-merge fix.
This commit is contained in:
parent
60b7f9d645
commit
e1f3149c16
1 changed files with 1 additions and 1 deletions
|
|
@ -812,7 +812,7 @@ public:
|
|||
void warn_deprecated(THD *thd);
|
||||
void set_default(THD *thd, enum_var_type type);
|
||||
bool update(THD *thd, set_var *var);
|
||||
}
|
||||
};
|
||||
|
||||
|
||||
class sys_var_thd_lc_time_names :public sys_var_thd
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue