Hi Chris,

thank you very much for your suggestions and explanations (somehow your messages did not reach my mail inbox). Now I got some work to do, but I am not quite sure on how to proceed. Should I step back in my local git history, apply the corrections and resend the patches or can I just go on and patch my patches? I guess everything should go to the initial bug tracking number?

Best,

Sebastian