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

Fix small merge errors after rebase

This commit is contained in:
Kristian Nielsen
2014-07-08 15:59:03 +02:00
parent 92577cc0eb
commit ba4e56d8d7
2 changed files with 0 additions and 4 deletions

View File

@@ -1848,7 +1848,6 @@ rpl_group_info::mark_start_commit()
}
<<<<<<< TREE
/*
Format the current GTID as a string suitable for printing in error messages.
@@ -1869,7 +1868,6 @@ rpl_group_info::gtid_info()
}
=======
/*
Undo the effect of a prior mark_start_commit().
@@ -1898,7 +1896,6 @@ rpl_group_info::unmark_start_commit()
}
>>>>>>> MERGE-SOURCE
rpl_sql_thread_info::rpl_sql_thread_info(Rpl_filter *filter)
: rpl_filter(filter)
{