On 2020-04-30 12:10 a.m., Sterling Augustine wrote: > The commit was proposed here: > > https://sourceware.org/pipermail/gdb/2020-March/000012.html > > And approved here: > > https://sourceware.org/pipermail/gdb/2020-April/048466.html Ah, that's because it's on gdb@, not gdb-patches@. Sorry about that. Simon