>>>>> "Michael" == Michael Schmitt <[EMAIL PROTECTED]> writes:
Michael> My conclusion is that we should suppress the import. Please Michael> find a patch below. Michael> Jose, could you please check the patch and commit it Michael> afterwards? This seems reasonable to me too. JMarc