[debbugs-tracker] bug#28757: closed ([PATCH] gnu: postgresql: Update to 10.0.)

[GNU bug Tracking System]

Your message dated Tue, 10 Oct 2017 10:33:56 -0400
with message-id <address@hidden>
and subject line Re: [bug#28757] [PATCH] gnu: postgresql: Update to 10.0.
has caused the debbugs.gnu.org bug report #28757,
regarding [PATCH] gnu: postgresql: Update to 10.0.
to be marked as done.

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


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

--- Begin Message --- Subject: [PATCH] gnu: postgresql: Update to 10.0. Date: Mon, 09 Oct 2017 11:27:20 +0200

Hey Guix,

This patch updates postgresql to 10.0.

0001-gnu-postgresql-Update-to-10.0.patch
Description: Text Data

--- End Message ---

--- Begin Message --- Subject: Re: [bug#28757] [PATCH] gnu: postgresql: Update to 10.0. Date: Tue, 10 Oct 2017 10:33:56 -0400 User-agent: Mutt/1.9.1 (2017-09-22)

On Tue, Oct 10, 2017 at 08:19:13AM +0200, Rutger Helling wrote:
> Hey Leo, 
> 
> I don't think so. It still works fine for me at least. 

Okay, pushed as 231123ee16b813af2d3c7b95fd800a8d7f25b71a

> 
> On 2017-10-09 21:11, Leo Famulari wrote:
> 
> > On Mon, Oct 09, 2017 at 11:27:20AM +0200, Rutger Helling wrote: 
> > 
> >> Hey Guix,
> >> 
> >> This patch updates postgresql to 10.0.
> > 
> >> From d614dd69136f860ccb089e012cf7013d9e143a21 Mon Sep 17 00:00:00 2001
> >> From: Rutger Helling <address@hidden>
> >> Date: Mon, 9 Oct 2017 11:20:34 +0200
> >> Subject: [PATCH] gnu: postgresql: Update to 10.0.
> >> 
> >> * gnu/packages/databases.scm (postgresql): Update to 10.0.
> > 
> > Thanks!
> > 
> > Do you know if we need to adjust our PostgreSQL service for this new
> > release?

signature.asc
Description: PGP signature

--- End Message ---