Released

git-svn-id: svn+ssh://svn.gecode.org/srv/gecode/svn/gecode/tags/release-6.0.0@16770 64335634-5103-0410-b293-fc3d331e086d

Author: Christian Schulte

changelog.in

@@ -68,7 +68,7 @@
 
 [RELEASE]
 Version: 6.0.0
-Date: 2018-02-06
+Date: 2018-02-07
 [DESCRIPTION]
 This major release fixes many bugs, adds quite some new
 functionality, and changes how cloning works (most likely the