[gecode-users] svn download of release

[Kish Shen]

Hi,

Does the Gecode source downloaded via svn:


svn --username anonymous checkout \
     https://svn.gecode.org/svn/gecode/tags/release-4.4.0

include the bug fixes since the official release?

I am planning to build the latest released Gecode for all the platforms 
we support for ECLiPSe. I have already downloaded this source several 
months ago, and so am wondering if it make sense to download this again.

Thanks and cheers,

Kish