[debbugs-tracker] bug#31175: closed ([PATCH] gnu: Add postgis.)

[GNU bug Tracking System]

Your message dated Wed, 23 May 2018 23:08:58 +0200
with message-id <address@hidden>
and subject line Re: [bug#31175] [PATCH] gnu: Add postgis.
has caused the debbugs.gnu.org bug report #31175,
regarding [PATCH] gnu: Add postgis.
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


-- 
31175: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=31175
GNU Bug Tracking System
Contact address@hidden with problems

--- Begin Message --- Subject: [PATCH] gnu: Add postgis. Date: Mon, 16 Apr 2018 11:18:21 +0200

Hi, here are two patches to add postgis and its dependency gdal.

0001-gnu-Add-gdal.patch
Description: Text Data

0002-gnu-Add-postgis.patch
Description: Text Data

--- End Message ---

--- Begin Message --- Subject: Re: [bug#31175] [PATCH] gnu: Add postgis. Date: Wed, 23 May 2018 23:08:58 +0200

Pushed as 2b9be1a63aef1a0e67e94bfd9a676b6cb5c8463f and
996e45cbf7e46977e16c4ebc5ecc394db28f4a21, thank you for your review!

pgpkT1IcbzpOG.pgp
Description: Signature digitale OpenPGP

--- End Message ---