Sometimes it is necessary to relaunch the travis build after a commit because it is broken.
Sometimes it is necessary to relaunch the travis build after a commit because it is broken.