Subject: Re: [bug#31175] [PATCH] gnu: Add postgis.

From: Julien Lepiller <[email-masked]>
Date: Wed, 23 May 2018 23:08:58 +0200

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