bug#24646: [PATCH] Complete the name of PostgreSQL databases

[Eli Zaretskii]

> Date: Sun, 23 Oct 2016 21:50:22 +0000 (UTC)
> From: Michael Mauger <michael@mauger.com>
> Cc: "alex@gnu.org" <alex@gnu.org>
> 
> Sorry for the delay. I did look at your fix and I need to test it but it 
> looks reasonable. My concern is that it
> involves enough lines of code that I think we will require that you have a 
> Copyright assignment on file. If you
> believe that you have one, I can verify that, if not we'll have to initiate 
> the process (which unfortunately is
> manual and time consuming, but once done it is never needed again).

Simen's assignment is on file, so everything's good in that
department.

Thanks.