1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-29 05:21:33 +03:00

merge from 5.2

This commit is contained in:
unknown
2012-08-24 14:02:32 +02:00
44 changed files with 1146 additions and 451 deletions

View File

@ -438,6 +438,7 @@ public:
return FALSE;
}
void print(String *print);
void append_for_single_quote(const char *st, uint len);
/* Swap two string objects. Efficient way to exchange data without memcpy. */
void swap(String &s);