Phillip Wood [off-list ref] writes:
quoted
* pw/fix-some-issues-in-reset-head (2021-10-01) 12 commits
I've got a re-roll which I think is almost ready but feel free to drop
it in the meantime.
I'll mark it as expecting a reroll then.
quoted
* pw/diff-color-moved-fix (2021-10-27) 15 commits
Dscho spotted a typo which I was going to correct with a re-roll but
I've been holding off in case he has time to read the rest of the
series.
Likewise.
Thanks for these updates, which are greatly appreciated.