[postgis-devel] Errant Tag 3.0.0

[John Harvey]

Hi Sandro,

Also please test if your favourite mirrors look fine now
> (the script runs on my server)
>

Confirmed that the above-mentioned git mirror looks good now.  The 3.0.0
tag has been successfully removed.

Regards,
  -John
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.osgeo.org/pipermail/postgis-devel/attachments/20191001/0c6a5abc/attachment.html>