Merge branch 'ingo'
Merge remote-tracking branch 'origin/master'
Merge branch 'master' into ingo
Merge branch 'developers/bob'
removing 2 bobs copies
Merge branch 'ingo'
Merge branch 'master' into developers/bob