On Fri, 2022-06-24 at 12:45 -0600, Jeff Law via Gcc-patches wrote: > > > On 6/24/2022 12:08 PM, David Malcolm via Gcc-patches wrote: > > On Mon, 2022-06-13 at 14:22 -0400, David Malcolm wrote: > > > Ping for this patch: > > > https://gcc.gnu.org/pipermail/gcc-patches/2022-May/595444.html > > > > > > OK for trunk? > Sorry, I though the series had been approved at some point. In > general, adding final/override and removing redundant virtuals should > be > considered trivial IMHO. > > So just to be clear, OK for the trunk.
Thanks; I've pushed the remaining patches as r13-1305-g725793af78064f through r13-1310-g26f77c4d19b827. I had to do some minor refreshing of the patches against trunk to avoid conflicts; I bootstrapped and regression-tested the result on x86_64- pc-linux-gnu before pushing. Dave