Automate creating releases from Changelog and add Changelog to docs#954

tturocy merged 14 commits into

mastergambitproject/gambit:masterfrom

doc/712gambitproject/gambit:doc/712Copy head branch name to clipboard