On Thu, 22 Nov 2012, Richard Earnshaw wrote: > Haven't seen any follow-up on this. Since it's fairly trivial, I've > committed it as obvious; but I'm happy to change it if you feel it > should be worded differently.
This looks just fine to me, thanks! (I've been in those flying metal tubes much of the last two days, or you would have seen me respond so right away.) You can also mention the names of key contributors, by the way, which may be nice. Gerald
