fixup! travis: Separated OBS commit.