diff options
Diffstat (limited to 'mongodb-7.0.1-gcc13.patch')
-rw-r--r-- | mongodb-7.0.1-gcc13.patch | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/mongodb-7.0.1-gcc13.patch b/mongodb-7.0.1-gcc13.patch deleted file mode 100644 index 879e55ffe86c..000000000000 --- a/mongodb-7.0.1-gcc13.patch +++ /dev/null @@ -1,12 +0,0 @@ -diff --git a/src/mongo/db/free_mon/free_mon_options.h b/src/mongo/db/free_mon/free_mon_options.h -index 19f707e..6bf8b3b 100644 ---- a/src/mongo/db/free_mon/free_mon_options.h -+++ b/src/mongo/db/free_mon/free_mon_options.h -@@ -31,6 +31,7 @@ - - #include <string> - #include <vector> -+#include <cstdint> - - namespace mongo { - |