Good catch. I'll change it so that the launcher deduces the tmpdir from the app name.
« Back to merge proposal
Good catch. I'll change it so that the launcher deduces the tmpdir from the app name.