On Mon, 2021-06-14 at 13:13 -0400, Robert Haas wrote: > I'm happy to hear other opinions, but I think I would be inclined to > vote in favor of #1 and/or #2 but against #3.
What about upgrading it to, say, LOG? It seems like it would happen
pretty infrequently, and in the event something strange happens, might
rule out some possibilities.
Regards,
Jeff Davis
