I should just have trusted Willem in commit dae0c9dffb7c ("User manual
update"). He got it right and I misedited his patch.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
I should just have trusted Willem in commit dae0c9dffb7c ("User manual
update"). He got it right and I misedited his patch.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>