| From: Shriram Krishnamurthi (sk at cs.brown.edu) Date: Thu Aug 12 12:46:14 EDT 2010 |
|
I'm failing to see anything other than cosmetic changes (ones that I heartily approve of) in your version of the code. Did I miss a semantic diff?
| Posted on the dev mailing list. |
|
![[logo]](/logo.png){kind=logo}