
8 Jun
2007
8 Jun
'07
12:50 a.m.
On Jun 7, 2007, at 4:16 PM, Eric Niebler wrote:
I'll leave it up to Thomas to decide whether to accept this fix for 1.34.1. It's not a bad bug, but the fix is simple enough and it passes my tests.
Patch applied to RC_1_34_0. Can we close the issue? Thomas -- Thomas Witt witt@acm.org