> On Nov 17, 2016, at 9:04 AM, Logiciel Gambit <gambit at iro.umontreal.ca> wrote: > > Gambit v4.8.6 is now available. > > Changelog: https://github.com/feeley/gambit/commits Have these changes been pushed to the main github repo?