users guide: Fix broken link

Authored by bgamari on Nov 11 2019, 9:45 AM.

Description

users guide: Fix broken link

Details

Committed
Marge Bot <ben+marge-bot@smart-cactus.org>Nov 13 2019, 6:08 AM
Parents
rGHC6885e22c83ac: testsuite: Add test for #17458
Branches
Unknown
Tags
Unknown
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCb4b19d8990f3: users guide: Fix broken link (authored by bgamari).Nov 13 2019, 6:08 AM