Since when are we accepting issue reports on GitHub ? I was surprised to see them, as I'm pretty sure I had them disabled when I first started the mirror ?
--strk; _______________________________________________ geos-devel mailing list geos-devel@lists.osgeo.org https://lists.osgeo.org/mailman/listinfo/geos-devel