On Tue, Oct 24, 2017, at 17:30, Martin Pitt wrote:
These are unrelated to cockpit, I think they are from Lars. I guess
I've moved that to my personal account, actually. I've removed both of
Thanks for cleaning this up!