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

Description:

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

Review

@github-actions[bot] commented on July 21st 2022 Contributor

If you don't want this PR to be closed automatically in 28 days then you need to assign the label 'Do not close'.

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