Closed BenTheElder closed 1 year ago
[APPROVALNOTIFIER] This PR is APPROVED
This pull-request has been approved by: BenTheElder
The full list of commands accepted by this bot can be found here.
The pull request process is described here
submitted a fix for #210 first #211 🙃
/lgtm
I have too many things to do and I've mostly lost interest and role-alignment for this project.