On Tue, May 5, 2015 at 3:38 PM, Paul Wise wrote: > ... Apologies for the contentless reply. I haven't seen any resistance to the idea of merging more Debian ports services with the equivalent Debian services, apart from the work needed to do so. -- bye, pabs https://wiki.debian.org/PaulWise