Merge pull request #5246 from marc1706/ticket/15633

[ticket/15633] Double space to single space
This commit is contained in:
Marc Alexander 2018-06-17 15:35:17 +02:00
commit aea56fcf57
No known key found for this signature in database
GPG key ID: 50E0D2423696F995