> On condition that your commit the right patch :-), OK for 4.9.1 Indeed! Committed as r212329.
Thanks for the review. Dominique
> On condition that your commit the right patch :-), OK for 4.9.1 Indeed! Committed as r212329.
Thanks for the review. Dominique