Good idea. Thanks for explaining.
Brad
On Nov 19, 2016, at 7:39 AM, Marc Feeley feeley@iro.umontreal.ca wrote:
The process of building a release automatically creates some commits to the sources to change the version number. These commits are only pushed to the github repo after the build of the Windows and MacOS installers completes without error and the installers are transferred to the web server, a process that usually takes about an hour. Consequently, if ever there was an error in building the installers, it is possible to take back and correct the commits before pushing them to the github repo. So please understand that a new release may be “ahead” of the github repo for a brief moment (in this case less than 15 minutes).
Marc
On Nov 17, 2016, at 9:09 AM, Bradley Lucier lucier@math.purdue.edu wrote:
On Nov 17, 2016, at 9:04 AM, Logiciel Gambit gambit@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?