Merge branch 'use-git-rev-as-cache-key' of...
Merge branch 'use-git-rev-as-cache-key' of ssh://gitlab.tiker.net/inducer/pytential into use-git-rev-as-cache-key
Merge branch 'use-git-rev-as-cache-key' of ssh://gitlab.tiker.net/inducer/pytential into use-git-rev-as-cache-key