diff --git a/docs/hacking.html.in b/docs/hacking.html.in index 661b262a11..b743d4b861 100644 --- a/docs/hacking.html.in +++ b/docs/hacking.html.in @@ -1553,6 +1553,10 @@ int foo() fixes for documentation and code comments can be managed in the same way, but still make sure they get reviewed if non-trivial. +