On Wed, Aug 22, 2018 at 06:26:52PM +1200, Thomas Munro wrote:
> Thanks, pushed. I removed one tab because it looks like the comments
> in that file are supposed to line up with tabstop=8 (unlike our source
> files which use 4), and this one didn't. I hope I got that right!
This line now spawns at 87 characters for me, so that's not quite it. I
think that you should just have put the list into two lines.
--
Michael
