Hi, On 2019-09-28 11:44, John Paul Adrian Glaubitz wrote: > Hello! > > I'm posting here on behalf the Debian Ports team as we're seeking support Just for clarification, what you call "Debian Ports team" is the group of porters working on some of the ports hosted on the "Debian Ports" [1] service. The Debian Ports admins are not related to this group of porters. Regards, Aurelien [1] https://www.ports.debian.org/ -- Aurelien Jarno GPG: 4096R/1DDD8C9B aurelien@aurel32.net http://www.aurel32.net
Attachment:
signature.asc
Description: PGP signature