Merge pull request #3817

e935293 Minor code cleanup: remove indentation (Mark Friedenbach)
This commit is contained in:
Wladimir J. van der Laan 2014-03-10 09:33:12 +01:00
commit 1cab453ff8
No known key found for this signature in database
GPG key ID: 74810B012346C9A6