On Sun, 30 May 2021 at 17:46, Thomas Mueller <[email protected]> wrote: > > What is the current status of ports-mgmt/synth? > > It seems deprecated by what I see on this emailing list, but I see occasional > updates when I update ports tree.
It's still my favourite ports-builder.. I'll keep using it until it stops working. :) -- Jonathan Chen <[email protected]>
