Closed hlapp closed 6 years ago
Reworking #12 so that stuff irrelevant to the subject of the PR isn't part of the PR. Yes, this matters.
Sorry for not splitting this off myself -- I'll try to be more careful about streamlining pull requests before review in the future!
Reworking #12 so that stuff irrelevant to the subject of the PR isn't part of the PR. Yes, this matters.