On 09/07/2015 11:07 AM, Andreas Enge wrote:
> This looks harmless to push

Btw, is it OK to directly push such changes? I feel like they usually
pollute the mailing list more than anything else :/


Cyril.

Reply via email to