>>> "Paul" == Paul Hilfinger <[EMAIL PROTECTED]> writes:
>> > Ok to install? The test suite passes with no modification. >> >> That change looks good to me as well. Thanks. >> I'd like to hear Paul H's opinion of course. > Looks good to me, too. Installed.
