Sorry for the copy/paste bug in the previous email subject, of course we're releasing 3.7.2:
Dear all,
we are releasing a new version of Gecode:
Gecode 3.7.2
http://www.gecode.org
This release fixes several small bugs.
On our web site, you find source packages, binary packages for Windows and Mac OS, and the full documentation.
Cheers,
Guido