mpmont/ci-snippets — pull request #47 by taiar (2014-08-06 00:51:17+00:00)
Title: Revert "improved shortcut th"

I've described the whole situation here https://github.com/mpmont/ci-snippets/pull/45