On 2022-11-07 22:45:50+0100, Ævar Arnfjörð Bjarmason <avarab@xxxxxxxxx> wrote: > > On Sun, Nov 06 2022, Đoàn Trần Công Danh wrote: > > > In previous change, we've made 'state' optional, and replaced all of its > > usage. > > > > Let's remove it, now. > > Let's remove it then? I.e. let's squash this into 10/13. No reason not > to... I was following the existing (I think) practice of removing a subcommand in a separated commit. Sure, I can meld it into 10/13 -- Danh