On Fri, 7 Jul 2023 at 19:06, Tomas Vondra <tomas.von...@enterprisedb.com> wrote: > > On 7/7/23 18:34, Matthias van de Meent wrote: > > On Fri, 7 Jul 2023 at 00:14, Tomas Vondra <tomas.von...@enterprisedb.com> > > wrote: > >> The original text was really about on/off, and I'm not quite sure the > >> part about "exception" makes this very clear. > > > > Agreed on both points. Attached an updated version which incorporates > > your points. > > > > Thanks, pushed after correcting a couple typos.
Thanks! Kind regards, Matthias van de Meent Neon (https://neon.tech)