No, thanks for the poke. Merged. P > On Oct 6, 2021, at 5:26 PM, Mike Taves <mwto...@gmail.com> wrote: > > On Thu, 7 Oct 2021 at 07:32, Paul Ramsey <pram...@cleverelephant.ca> wrote: >> >> Here it is incorporating some new commits and closed tickets. >> >> http://download.osgeo.org/geos/geos-3.10.0beta3.tar.bz2 > > Still without https://git.osgeo.org/gitea/geos/geos/pulls/114 > > Should I re-submit the PR to GitHub instead? > _______________________________________________ > geos-devel mailing list > geos-devel@lists.osgeo.org > https://lists.osgeo.org/mailman/listinfo/geos-devel
_______________________________________________ geos-devel mailing list geos-devel@lists.osgeo.org https://lists.osgeo.org/mailman/listinfo/geos-devel
