Deleted in pkgdb.
Git repo deleted.
Thanks for your report
@pingou changed the status to Closed
Closed
Thank you!
Login to comment on this ticket.