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...
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...