Hi, On 2011-10-27 11:24 , Francois Claire wrote: > I know everybody's busy but could a committer have a look to #31718 ? > > The update has been submitted 5 days ago and should be straightforward. Committed in r86558. Rainer