Closed ILMTitan closed 6 years ago
@ILMTitan LGTM.
@iantalarico I think that sounds good. I think sometimes I just get a little too "greedy" with what I can put in the PR. If we separate them, then it will also be easier if we want to revert a bad PR without reverting the formatting PR.
Fixes #594.