On December 15, 2016 12:19:05 AM PST, "Michał Górny" <mgo...@gentoo.org> wrote:
>Would it be fine with you if we kept gnat-gcc and ghdl? (but lastrited
>dev-ada/*)

I personally have no use for the others.

-- 
Christopher Head

Reply via email to