Hi committers, I would like to delete a port which became a stub one year ago. It is a port I maintain. Here the relative ticket: https://trac.macports.org/ticket/41747 Thanks! ~petr