doc/user.rst: add missing space

This commit is contained in:
Max Kellermann 2019-05-13 22:36:17 +02:00
parent f8468451c9
commit d5521ead56