David Rowley <[email protected]> writes: > On Mon, 15 Apr 2024 at 11:54, Tom Lane <[email protected]> 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
