On 06/01/2017 03:53 PM, Richard Biener wrote:
Ok.

Richard.
Committed. Thank you, Richard!

--
Pierre-Marie de Rodat

Reply via email to