On Thursday 25 November 2010 23:25:36, Marc Khouzam wrote: > Committed to HEAD and 7_2 with the changelog entry you suggested. > Can I leave the resolving of the PR to you? I don't know what > the process is. Just set the milestone and mark it resolved/fixed. I've done that now. Thanks again. -- Pedro Alves