On Fri, Nov 19, 2021 at 01:46:20PM +0100, Ævar Arnfjörð Bjarmason wrote: > Remove various bits of dead code. These are unrelated things that I've > spotted here & there recently. Submitted now to clear out this batch > of dead code removal before it gets any larger. These all look fine to me. I gave some light philosophical musings on the later ones, but I'd be OK to see the code dropped. -Peff
