Closed BenTheElder closed 2 weeks ago
[APPROVALNOTIFIER] This PR is APPROVED
This pull-request has been approved by: BenTheElder, michelle192837
The full list of commands accepted by this bot can be found here.
The pull request process is described here
a few more removals, thanks to @michelle192837 :-)