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.
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.