chiark / gitweb /
util: when creating temporary file names, allow including extra id string in it