On 26 July 2018 at 16:49, Andres Freund 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
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...
Greetings,
Andres Freund
Since nothing else can be done we should throw an error early.
Dave Cramer