Add missing space in menu

This commit is contained in:
Alexandre Iooss 2020-08-10 13:59:29 +02:00
parent 8e886f1431
commit c3081d9cc3
1 changed files with 1 additions and 1 deletions