diff options
Diffstat (limited to 'gnu/packages/patches/doxygen-support-gcc-12.patch')
| -rw-r--r-- | gnu/packages/patches/doxygen-support-gcc-12.patch | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/gnu/packages/patches/doxygen-support-gcc-12.patch b/gnu/packages/patches/doxygen-support-gcc-12.patch deleted file mode 100644 index 01f5040dde..0000000000 --- a/gnu/packages/patches/doxygen-support-gcc-12.patch +++ /dev/null @@ -1,15 +0,0 @@ -Fix for https://github.com/doxygen/doxygen/issues/9312 made in unreleased upstream commit -https://github.com/doxygen/doxygen/commit/5198966c8d5fec89116d025c74934ac03ea511fa - -diff --git a/src/cache.h b/src/cache.h -index 0ff3092ed5..e218eb27d2 100644 ---- a/src/cache.h -+++ b/src/cache.h -@@ -19,6 +19,7 @@ - #include <list> - #include <unordered_map> - #include <mutex> -+#include <utility> - #include <ctype.h> - - /*! Fixed size cache for value type V using keys of type K. |