Merge pull request #11621 from drguildo/fix/extraneous-spaces

Remove a few extraneous spaces
This commit is contained in:
Mrugesh Mohapatra
2016-11-11 18:10:12 +05:30
committed by GitHub
2 changed files with 58 additions and 58 deletions