On 12/13/11 11:49, Eric Botcazou wrote: >> This fixes the PR. > > You need to put the Component before the / in the ChangeLog, otherwise the > commit won't be cross-referenced in Bugzilla. > Funny, I just noticed. I will do so from now on. Thanks.