Skip to content

hadrian: Fix typo in docs/users_guide

Ben Gamari requested to merge wip/hadrian-doc-typo into master

Reported by @alanz (#17352 (closed)). This passed validation because the hadrian build apparently runs with --docs=no-sphinx since 9aa27273 (although it's not clear why this was done)

Edited by Ben Gamari

Merge request reports