travis-ci/travis — pull request #72 by rkh (2013-08-13 17:40:54+00:00)
Title: implement build/job cancelling

merge after travis-ci/travis-api#70 has been rolled out