On 10/15/07, Ron Ritzman <ritzman(a)gmail.com> wrote:
On 10/15/07, Gwern Branwen <gwern0(a)gmail.com>
wrote:
Now now. Let's be fair: it *could* have been
a null edit.
If a "null edit" is what I think it is then shouldn't the summary be
"didn't make a change"?
I think the point is "made a change" tells us it *wasn't* a null edit. :)
--Darkwind