On 5/2/19 5:54 PM, Paul Ramsey wrote: > I’m about to push out a 3.7.1 patch release
GEOS 3.7.1 was released on 2018-11-29, I guess you mean 3.7.2? Kind Regards, Bas -- GPG Key ID: 4096R/6750F10AE88D4AF1 Fingerprint: 8182 DE41 7056 408D 6146 50D1 6750 F10A E88D 4AF1 _______________________________________________ geos-devel mailing list geos-devel@lists.osgeo.org https://lists.osgeo.org/mailman/listinfo/geos-devel