On Wed, 29 Apr 2020 21:13:14 +0200, Marc Espie <es...@nerim.net> wrote:

> I'm not sure what purpose minitube still has.

Brian said he was using it. What's the problem with having it in the
ports tree?

Reply via email to