On 26 July 2018 at 16:49, Andres Freund <and...@anarazel.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
