Re: [Monetdb-developers] [Monetdb-checkins] clients/src/java version.sh, Clients_1-20, 1.10.2.6, 1.10.2.7