82
82
NamedSavepoint &first_savepoint= savepoints.front();
83
83
const string &first_savepoint_name= first_savepoint.getName();
84
84
if (my_strnncoll(system_charset_info,
87
87
(unsigned char *) first_savepoint_name.c_str(),
88
88
first_savepoint_name.size()) == 0)