@diosmosis opened this Pull Request on April 2nd 2020 Member
@sgiehl commented on April 16th 2020 Member

@diosmosis code looks good now I guess. Shall we merge, or do you want to do some more testing before?

@diosmosis commented on April 16th 2020 Member

Needs to be merged and in an RC before we can do a final test, so I'll just merge it.

This Pull Request was closed on April 16th 2020
Powered by GitHub Issue Mirror