On Fri, 25 Aug 2023 21:58:33 +0200 Mateusz Guzik <mjguzik@xxxxxxxxx> wrote: > anyone in particular I should cc to get this reviewed? > > this finishes a removal from an earlier commit, there is not much to > think about ;) We're in late -rc7. I have this saved away for consideration after the merge window has closed.
