After a spectacular rebase/pull failure combination I accidentally pushed the tablet-support branch to master. The erroneous commit was 8d7a1c1. I've done a reset --hard back to the previous HEAD 0c8d761, please ignore and git pull complains about non-fast-forwards. Sorry about that. Cheers, Peter