On Fri, Jan 05, 2018 at 01:37:51AM -0700, Anthony J. Bentley wrote: > Paul Irofti writes: > > Unrelated to your change, but can you also fix the typo in the > > COMMENT? Unless repositor is a proper word. > > That's an artifact of cvs diff; the actual COMMENT is correct.
Yuck! Okay then, and sorry about the noise.