On 10/15/07, Ron Ritzman ritzman@gmail.com wrote:
On 10/15/07, Gwern Branwen gwern0@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