diff options
Diffstat (limited to 'databases/mysql80-server/files/patch-storage_innobase_sync_sync0debug.cc')
-rw-r--r-- | databases/mysql80-server/files/patch-storage_innobase_sync_sync0debug.cc | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/databases/mysql80-server/files/patch-storage_innobase_sync_sync0debug.cc b/databases/mysql80-server/files/patch-storage_innobase_sync_sync0debug.cc deleted file mode 100644 index b9dbdedf057f..000000000000 --- a/databases/mysql80-server/files/patch-storage_innobase_sync_sync0debug.cc +++ /dev/null @@ -1,11 +0,0 @@ ---- storage/innobase/sync/sync0debug.cc.orig 2016-03-28 18:06:12 UTC -+++ storage/innobase/sync/sync0debug.cc -@@ -1702,7 +1702,7 @@ private: - const void*, - File, - std::less<const void*>, -- ut_allocator<std::pair<const void*, File> > > -+ ut_allocator<std::pair<const void* const, File> > > - Files; - - typedef OSMutex Mutex; |