diff options
Diffstat (limited to 'dev-db/mongodb/files/mongodb-6.0.0-gcc12.patch')
| -rw-r--r-- | dev-db/mongodb/files/mongodb-6.0.0-gcc12.patch | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/dev-db/mongodb/files/mongodb-6.0.0-gcc12.patch b/dev-db/mongodb/files/mongodb-6.0.0-gcc12.patch deleted file mode 100644 index ba71fd8d3e62..000000000000 --- a/dev-db/mongodb/files/mongodb-6.0.0-gcc12.patch +++ /dev/null @@ -1,12 +0,0 @@ -diff --git a/src/mongo/db/repl/tenant_file_cloner.h b/src/mongo/db/repl/tenant_file_cloner.h -index def0952..0625e46 100644 ---- a/src/mongo/db/repl/tenant_file_cloner.h -+++ b/src/mongo/db/repl/tenant_file_cloner.h -@@ -32,6 +32,7 @@ - #include <boost/filesystem.hpp> - #include <memory> - #include <vector> -+#include <fstream> - - #include "mongo/db/repl/base_cloner.h" - #include "mongo/db/repl/task_runner.h" |
