temporary v1.3 Release Notes

    • Generated directory names are now based on random hex strings rather than PIDs.

      This got a major version bump as a courtesy to users who may depend on the specific form of generated names, but that form is not part of the API contract and should not be depended upon.