On 09/18/2017 10:09 PM, Eric Botcazou wrote:
I'm not sure anyone really cares so it's up to you I'd say.

Ok, thanks. Done! Committed as r252971.

--
Pierre-Marie de Rodat

Reply via email to