Merge pull request #920 from Random-Liu/fix-indent

The indent is wrong.
This commit is contained in:
Lantao Liu 2018-09-17 14:14:28 -07:00 committed by GitHub
commit d963c9c58e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23