On Tue, Jun 15, 2021 at 3:21 AM Jeff Davis <pg...@j-davis.com> wrote: > > 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. >
I don't see any problem with changing it to LOG if that helps especially because it won't happen too often. -- With Regards, Amit Kapila.