Merge pull request #5640 from JDonadio/fix/auto-margin

Auto formating on save (no changes)
This commit is contained in:
Gabriel Edgardo Bazán 2017-02-21 10:36:02 -05:00 committed by GitHub
commit 561e23487e