David Rowley <dgrowle...@gmail.com> writes: > On Mon, 15 Apr 2024 at 11:54, Tom Lane <t...@sss.pgh.pa.us> wrote: >> would this also allow us to get rid of any default: >> cases in switches on command tags?
> git grep "case CMDTAG_" does not yield any results.
OK. It was worth checking.
regards, tom lane
