Dear ports@ community, after finally accepting that I don't get around to actually maintain the ports I'm still listed for as MAINTAINER anymore, I kindly ask to remove me from these variables.
I hope at least some people profited from my former porting efforts and no one suffered from my recent slacking in this regard. If there are issues or questions, please contact me directly since I didn't get around to read ports@ ATM. Regards ahb
