doc: add missing space after varname

GitHub #526
This commit is contained in:
Fabio Pardi
2019-01-15 16:10:27 +01:00
committed by Ian Barwick
parent 4a9bd87c53
commit 4a084e5e7d