>>>>> "Tom" == Tom Tromey <[EMAIL PROTECTED]> writes:

>>>>> "Akim" == Akim Demaille <[EMAIL PROTECTED]> writes:
Akim> Once the `make check' finished, I'll check this in:

Tom> Did the bug affect any of the existing test cases?  If not I
Tom> generally add a new test.

Nope, and I was thinking about writing a test case :)  I will.

Reply via email to