BTW, did the transition to Git already happen for GNU Mach
        development tree, or is it still in CVS?


Reply via email to