Closed olemarkus closed 2 years ago
/assign @bentheelder
Out until late july, but communicating this on GitHub is hard and actually being on vacation is harder :+)
MushuEE has been promoted to approver and can best-effort handle PRs in the meantime.
Appreciate the notice.
/lgtm /approve
[APPROVALNOTIFIER] This PR is APPROVED
This pull-request has been approved by: MushuEE, olemarkus
The full list of commands accepted by this bot can be found here.
The pull request process is described here
Would be ideal to go up to 1.18, but that involved quite a bit more work.