Andres Freund <and...@anarazel.de> writes: > On July 21, 2018 11:15:51 PM PDT, Tom Lane <t...@sss.pgh.pa.us> wrote: >> This is, in fact, how it's done in all PG apps.
> Think there's a fair argument that we should improve that at some point...
Perhaps. Peter E. might remember why it's like that. But I'm dubious
about changing it in only one app.
regards, tom lane
