On Sat, 14 Sept 2024, 23:44 Tom Lane, <t...@sss.pgh.pa.us> wrote: > Julien Rouhaud <rjuju...@gmail.com> writes: > > On Sat, 14 Sept 2024, 12:39 Tom Lane, <t...@sss.pgh.pa.us> wrote: > >> Hmm ... I agree that para is out of date, but is there anything to > >> salvage rather than just delete it? > > > I thought about it but I think that now that knowledge is in the else > > branch, with the mention that we still have to bump the nesting level > even > > if it's not locally handled. > > After sleeping on it I looked again, and I think you're right, > there's no useful knowledge remaining in this para. Pushed.
thanks!
