Fix spacing mismatch for Push

This commit is contained in:
Daniel Ahn 2018-07-20 15:09:19 -07:00
parent f2acc3d76b
commit db1cfd12f0
1 changed files with 2 additions and 2 deletions