Re: Looking for new maintainers for my ports

From: Klaus T. Aehlig <>
Date: Mon, 21 Nov 2022 17:23:23 UTC
On Sat, Nov 05, 2022 at 02:47:07PM +0100, Klaus T. Aehlig wrote:
> As I'm more and more lacking time to properly take care of my
> ports, I'm looking for maintainers to take them over. [...]

To avoid blocking work on those ports due to me still being mentioned
as maintainer, can some committer please reset the maintainership to
that more active users can pick them up?