Re: on the importance of names

[Ludovic Courtès]

Howdy!

Andy Wingo <address@hidden> writes:

> It would be nice to add it in 2.0.x, as it's a compatible change.

OK, sounds good!  I guess you’ll have to add the explanation of why the
name’s so great to the manual.  :-)

> But, there's no need for it to hold back a 2.0.1 release; there's a
> lot of NEWS to write up there, and we should get that out soonish.

Agreed.

How about pushing the release by the end of next week (Apr. 10th)?

Thanks,
Ludo’.