1
0
mirror of https://github.com/MariaDB/server.git synced 2026-01-06 05:22:24 +03:00

A post-merge fix.

This commit is contained in:
kostja@bodhi.local
2006-07-08 04:07:43 +04:00
parent a2c0cdd75b
commit ff1947da1e

View File

@@ -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