[gambit-list] Hailing Marc's github PRs
Dimitris Vyzovitis
vyzo at hackzen.org
Mon Nov 11 13:03:12 EST 2019
Marc,
Thank you so much for using prs for those latest commits!
Please continue to do so, it makes life so much easier for people following
the repo and who want to know what has changed.
Also, code reviews!
Plus it will make it so much easier to construct a changelog in the future,
should you decide to attach one to each release (it's a good practice).
Keep'em coming!
-- vyzo
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.iro.umontreal.ca/pipermail/gambit-list/attachments/20191111/1251dd11/attachment.htm>
More information about the Gambit-list
mailing list