K 10
svn:author
V 4
yuri
K 8
svn:date
V 27
2019-10-27T05:19:34.971495Z
K 7
svn:log
V 198
devel/gecode: Update 5.1.0 -> 6.2.0

Reset maintainer due to extended timeouts on bug #240101, #240100, #240089, as per policy.

Approved by:	dem.procopiou@gmail.com (maintainer's timeout; 62 days)

END