users-guide: Address #17329

Authored by bgamari on Nov 8 2019, 1:58 PM.

Description

users-guide: Address Trac #17329

Adopts the language suggested by @JakobBruenker.

Details

Committed
bgamariSun, Nov 17, 5:58 AM
Parents
rGHC002b284269de: Make test 16916 more stable across runs
Branches
Unknown
Tags
Unknown