On Thu, May 02, 2019 at 03:54:19PM -0700, Paul Ramsey wrote: > Please see https://trac.osgeo.org/geos <https://trac.osgeo.org/geos> The above link is a bit generic... Did you forget to `git push --tags` ? Because I see no 3.7.2. tag in repo, which is also reflected by https://git.osgeo.org/gitea/geos/geos/releases --strk;