"David Abrahams" <dave@boost-consulting.com> writes: > Does this distinction matter? Yes. However, I think a few patches changing this have been rejected, on the grounds of being confusing to users. So careful wording is necessary, which probably requires mastery of the English language. Regards, Martin