Jan. 5, 2017
9:44 a.m.
On 5 January 2017 at 02:50, Paul Eggert <eggert@cs.ucla.edu> wrote:
So how about if we instead use simpler comments that don't contain detail that we'd have to maintain? That should be good enough to document the situation.
Looks good to me. I, and probably our future selves, thank you. ;) -- Tim Parenti