I somehow managed to commit the changes bd86b473..7b9b7dff but also their empty clones 3a7c53f0..8b4fb3c6. I guess I was fooled by the diffs against the HEAD looking just fine...