Merge pull request #9485 from frederic34/patch-9

remove superfluous space
This commit is contained in:
Laurent Destailleur 2018-09-12 18:25:17 +02:00 committed by GitHub
commit ad54159c85
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23