Our New Pull-Request and Issue Manager

[Arjan]

On Thursday, 24 February 2022 at 13:05:33 UTC, Mike Parker wrote:
>
> Everyone, please congratulate Dennis Korpel on his new job!
>
Goed bezig! Veel plezier en succes Dennis.