diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/reviewing-contributions.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/reviewing-contributions.xml b/doc/reviewing-contributions.xml index 0bf3dc9e9f808..5618567e38528 100644 --- a/doc/reviewing-contributions.xml +++ b/doc/reviewing-contributions.xml @@ -583,7 +583,7 @@ $ nix-shell -p nox --run "nox-review -k pr PRNUMBER" pull requests fitting this category. </para> </section> - <section xml:id="reviewing-contributions--merging-pull requests"> + <section xml:id="reviewing-contributions--merging-pull-requests"> <title>Merging pull requests</title> <para> |