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?
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?