On 05/29/2014 11:22 AM, Eric Botcazou wrote: >> Yes. We already know that this is better than the current docs. >> Let's check it in. > > As far as I can see you did it, but didn't add a ChangeLog entry (so David > isn't properly credited with the rewrite)?
Fixed. Thanks, Andrew.