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

Description:

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

Review

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