Merge pull request #13069 from bangerth/filter-1

Update a link.
dealii · Dec 15, 2021 · 9a90f85 · 9a90f85
2 parents af6af5a + fa03fd5
commit 9a90f85
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/doxygen/scripts/filter b/doc/doxygen/scripts/filter
@@ -54,7 +54,7 @@ while (<>)
     #
     # Now, as of doxygen 1.5, this still produces the wrong result, but
     # that's not our fault. This is reported here:
-    #    http://bugzilla.gnome.org/show_bug.cgi?id=365053
+    #    https://github.com/doxygen/doxygen/issues/2285
     if (m/^ *(::)?dealii::.*\\$/)
     {
         s/::dealii::(.*)\\$/::\1        \\/g;