[gambit-list] Gambit bugzilla