Thanks Andreas. Would you consider such a minor change in stdlib as desirable?

Reply via email to