Re: [gambit-list] [ANN] Gambit-C v4.2.7 released