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 d97905f6fd
commit e89938e132