David Rowley <dgrowleyml(at)gmail(dot)com> writes:
> On Mon, 15 Apr 2024 at 11:54, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)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