Thank you both for helping with this issue.
Paul's argument has convinced me that we should not make this change now.
If anyone comes up with a good case for applying this patch, please let us
know and we'll be happy to revisit.



Reply via email to