On 26 July 2018 at 16:49, Andres Freund <andres(at)anarazel(dot)de> wrote:
> Hi,
>
> On 2018-07-26 16:40:18 -0400, Dave Cramer wrote:
> > Since nothing else can be done we should throw an error early.
>
> I can't immediately think of a reason not to do that, but I personally
> don't care enough to write a patch...
>
Fair enough. I will.
>
> Greetings,
>
> Andres Freund
>
Dave Cramer