Re: git: ae3f7a140c07 - main - cleanup: Remove expired ports:

From: Gerald Pfeifer <gerald_at_pfeifer.com>
Date: Mon, 20 Feb 2023 09:35:21 UTC 
On Sun, 19 Feb 2023, Rene Ladan wrote:
>> Something like "games/opendungeons: Remove expired port"?
> That's a good point. The rmport script should be easily adaptable to that.

I was going to note that I am not familiar with that script ... only to 
see that you already pushed such a change. :-)

Cool - thank you!

Gerald