[release] Tagged as 'geo-tools-3.1'.