doc: Tiny whitespace fix

This commit is contained in:
Peter Eisentraut 2018-03-05 11:27:08 -05:00
parent 6946280cde
commit dd9ed0bf70
1 changed files with 1 additions and 1 deletions