Closed MaxGhenis closed 5 years ago
(I was confused about this and had to search my email to find the right repo.)
Thanks for the suggestion, @MaxGhenis.
EDIT: I originally read this as an issue, rather than a PR. Will review and merge.
This LGTM. Thanks for the contribution @MaxGhenis! Merging.
(I was confused about this and had to search my email to find the right repo.)