> On Sep 27, 2018, at 10:26, Todd C. Miller <todd.mil...@sudo.ws> wrote: > >> On Thu, 27 Sep 2018 16:19:46 +0100, Dave Hines wrote: >> >> Oops - my patch contained a bug (though it worked on my machine). >> Here is a corrected patch for /usr/src/usr.bin/wc/wc.c > > That fix looks correct to me.
Ditto, works here. I will commit tonight if someone else doesn't chime in. (ok cheloha@ if someone else commits first)