Merge pull request #5086 from nventuro/patch-1

Removed extra whitespace.
This commit is contained in:
chriseth 2018-09-25 20:55:59 +02:00 committed by GitHub
commit fc6eee0280
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23