Am Donnerstag 05 November 2015, 18:57:52 schrieb Edwin Leuven:
> i agree
> 
> may i suggest that you push this change to master?

I've pushed something similar.

Might be something to consider for branch.

Jürgen

> thanks, edwin

Reply via email to