oops. I thought he was being clever . . . turns out I was . . sort of :)<br><br><div class="gmail_quote">On Sat, Feb 14, 2009 at 11:12 PM, Shriram Krishnamurthi <span dir="ltr"><<a href="mailto:sk@cs.brown.edu">sk@cs.brown.edu</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">> Then Macro said:<br>
<br>
I wonder how he feels about this particular name change. (-:<br>
<font color="#888888"><br>
Shriram<br>
</font></blockquote></div><br>