The answers are great, thanks!
> On 9 Feb 2017, at 20:26, Andres Freund <andres@anarazel.de> wrote:
>
> On 2017-02-09 20:17:33 +0100, Rui Pacheco wrote:
>> I’ve been anxiously waiting for that reply but got nothing. I even mailed the mailing list manager again with no
reply.And when I click on that link I get a server error: "An internal server error occurred.”
>
> The server error has already been fixed, please reload...