@diosmosis opened this Pull Request on December 14th 2019 Member

Couple small changes after talking to @mattab

@tsteur commented on December 15th 2019 Member

Are there any important fixes in there? Otherwise rather move it to 4.0 maybe.

@diosmosis commented on December 15th 2019 Member

No important fixes, just seemed small enough for 3.13.1. Will move it.

Powered by GitHub Issue Mirror