Skip to content

fix: use system temp dir, not /a/tmp#7581

Merged
rjsparks merged 2 commits into
ietf-tools:mainfrom
jennifer-richards:tmpdir
Jun 21, 2024
Merged

fix: use system temp dir, not /a/tmp#7581
rjsparks merged 2 commits into
ietf-tools:mainfrom
jennifer-richards:tmpdir

Conversation

@jennifer-richards

Copy link
Copy Markdown
Member

n.b., also removes an unused setting that happened to be /tmp/

@rjsparks rjsparks merged commit cc604a2 into ietf-tools:main Jun 21, 2024
@jennifer-richards jennifer-richards deleted the tmpdir branch June 21, 2024 17:13
@github-actions github-actions Bot locked as resolved and limited conversation to collaborators Jun 25, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants