Re: [gambit-list] Steps to bootstrap Git master from Gambit 4.9.3