diff options
Diffstat (limited to 'databases/mysql80-server/files/patch-storage_innobase_trx_trx0purge.cc')
| -rw-r--r-- | databases/mysql80-server/files/patch-storage_innobase_trx_trx0purge.cc | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/databases/mysql80-server/files/patch-storage_innobase_trx_trx0purge.cc b/databases/mysql80-server/files/patch-storage_innobase_trx_trx0purge.cc deleted file mode 100644 index 5b062e2fad03..000000000000 --- a/databases/mysql80-server/files/patch-storage_innobase_trx_trx0purge.cc +++ /dev/null @@ -1,11 +0,0 @@ ---- storage/innobase/trx/trx0purge.cc.orig 2017-01-05 13:57:29 UTC -+++ storage/innobase/trx/trx0purge.cc -@@ -1668,7 +1668,7 @@ trx_purge_attach_undo_recs( - using GroupBy = std::map< - table_id_t, purge_node_t::Recs*, - std::less<table_id_t>, -- mem_heap_allocator<std::pair<table_id_t, purge_node_t::Recs*>>>; -+ mem_heap_allocator<std::pair<const table_id_t, purge_node_t::Recs*>>>; - - GroupBy group_by{ - GroupBy::key_compare{}, |