Commit a747ea49c9eb6d453c7bf3cfa3465ec0a20616d2

Edward Thomson 2014-10-24T14:01:13

Merge pull request #2647 from ethomson/clar_tmpname clar: use a custom temp directory name