@comradekingu opened this Pull Request on July 5th 2022 Contributor


Generally shorter and to the point.
In line with other edits.


@sgiehl commented on July 6th 2022 Member

Will merge into another branch again to fix the tests before merging into our main branch.

This Pull Request was closed on July 6th 2022
Powered by GitHub Issue Mirror