Done as r233009

Thanks for the review,

Dominique

> Le 30 janv. 2016 à 16:45, Paul Richard Thomas <paul.richard.tho...@gmail.com> 
> a écrit :
> 
> Hi Dominique,
> 
> Thanks for doing this. Yes, it's OK for 5-branch as well.
> 
> Cheers
> 
> Paul

Reply via email to