Merge pull request #50820 from delroth/doc-build-fix

doc/reviewing-contributions: fix build error
This commit is contained in:
Sarah Brofeldt 2018-11-20 09:58:14 +01:00 committed by GitHub
commit ff26cc0276
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -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>