On Sat, 31 Dec 2005 16:35:49 +0200 Oded Shimon <ods15 at ods15.dyndns.org> wrote: > We should really make it automatic, it's rather simple to check, don't > you think? Michael comitted such a patch a few months ago. No idea why it's been removed/reverted now.