On Mon 23/12/2024 14:28, Christoph Liebender wrote: > I hate to be that guy, but: Ping! > > Is there anything else left for me to do? > If not, what is the usual process for new additions to the ports tree, given > that there are no amendments to be made?
I think the port is in a good shape, and ready to be imported. Recycling id 584 in infrastructure/db/user.list should cause no issue. I can import this port after another OK. In case someone else wants to commit: OK bket@
