[postgis-devel] PostGIS 3.1.0alpha1 is released

[Christoph Berg]

Re: rmrodriguez at carto.com 2020-02-03 <CAM6_UM5pMA5GmTN3ui9mtGVE7-oK-a0mBZTaaWsPczLH9YxdKA at mail.gmail.com>
> Did you use the  new configure option (--without-phony-revision) to
> prevent `postgis_revision.h` being regenerated when the sources are
> placed in a different git folder? If it's useful we could backport it
> to stable branches.

Not yet, to be done.

Christoph