No functional changes. Credit gcu

This merge doesn't make any functional changes. It's a trivial style fix so that @gregorycu can be dual credited along with shadowninja for PR #4800
This commit is contained in:
Zeno- 2016-11-23 01:23:34 +10:00 committed by GitHub
parent 4bf4154cad
commit dbeb322f62