Doug Gregor wrote:
On Jan 10, 2007, at 11:49 AM, Thomas Witt wrote:
Yes, I've fixed it for 1.34.0 as well. Sorry, I should have asked first.
No worries, I am just trying to make sure we don't miss anything important.
Thomas
--
Thomas Witt
witt@acm.org
