The respective commit seems to have vanished. Now using the master branch without specifying a particular commit.