On Tue, Feb 17, 2015 at 10:23:32AM +0100, Taylan Ulrich Bayırlı/Kammer wrote: > FYI I already pushed it as gambit-c.
I saw it just after sending my own message. > Tell me if you want me to push a patch to change it. I think it would be nice to be consistent, so yes, please. Andreas