1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-08 11:22:35 +03:00

5.3 merge

This commit is contained in:
Sergei Golubchik
2014-02-22 22:51:20 +01:00
33 changed files with 209 additions and 38 deletions

View File

@@ -83,7 +83,8 @@ public:
{
start= start_arg;
end= end_arg;
TRASH(start, end - start);
if (end != start)
TRASH(start, end - start);
reset();
}