@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 7th 2022 Member

@comradekingu Any reason for including the UserId stuff here? Wasn't that included in another PR already?

@comradekingu commented on July 7th 2022 Contributor

@sgiehl Just tired. Will get that fixed.
Edit: Like so?

@sgiehl commented on July 21st 2022 Member

@comradekingu There had been a couple of changes the the usersmanager language. Not sure if you are able to rebase this PR. Otherwise might maybe be simpler to recreate the PR with your changes.

@github-actions[bot] commented on August 5th 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'.

Powered by GitHub Issue Mirror