After fixing to preserve current merge policy, improvement became smaller and inconsistent, not worth to justify such change. So I am removing this proposal. Thanks for all the comments on this. - Doron
--------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
