Closed dzenanz closed 1 week ago
In the first few PRs I forgot to attribute the changes to you @albert-github, like I did here. Do you want me to amend them to give you the attribution?
Also, thank you again for identifying the issues and suggesting these fixes!
There is no need to amend the PRs to give me the attribution, I'm happy enough with the fact that the work is appreciated and that it is added.
Closes #5182.
PR Checklist