Re: [Monetdb-developers] [Monetdb-sql-checkins] geom/src/monetdb5 geom.mx, Geom_0-4, 1.13.4.1, 1.13.4.2