Subject: Re: bug#27256: [PATCH] gnu: postgresql: Enable contributed extensions.
From: Danny Milosavljevic <[email-masked]>
To: [email-masked] (Ludovic Courtès)
Cc: [email-masked], Roel Janssen <[email-masked]>
Date: Thu, 20 Jul 2017 13:11:57 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi Ludo,

I think I did.  Does it show up for you?

commit b7aa3f5d2e04800b60ece895c88dd753d2c3dfcc
Author: Danny Milosavljevic <[email-masked]>
Date:   Mon Jun 5 18:18:06 2017 +0200

    gnu: postgresql: Enable contributed extensions.
    
    * gnu/packages/databases.scm (postgresql)[arguments]: Add "build-contrib",
    "install-contrib" phases.  Add configure-flags.
    [inputs]: Add libuuid.