Merge branch 'use-git-rev-as-cache-key' into 'master'
Try hard to find a git revision to use as cache key See merge request inducer/sumpy!77
Loading
Please register or sign in to comment
Try hard to find a git revision to use as cache key See merge request inducer/sumpy!77