Re: [gambit-list] Gambit v4.9.5 released