6 Nov
2010
6 Nov
'10
11:55 p.m.
On Sat, Nov 6, 2010 at 9:41 AM, Don Stewart
The next step here then will be for the author to address the naming concern with a proposed change. We can then repeat the check.
I've actually lost track of the various different proposals, because that threads sprawled so much. I'm still leaning towards not changing any names, but I might go back and look. At this point, HP inclusion isn't looking worth the trouble.