On Tue, 29 Jun 2021, Jeff Law wrote: >> 2021-06-29 Gerald Pfeifer <ger...@pfeifer.com> >> >> * make-temp-file.c (usrtmp): Remove. >> (choose_tmpdir): Remove use of usrtmp. > Yup. This is fine. You might consider updating the comment which > references /usr/tmp in choose_tmpdir along the way.
You've got sharp eyes - and gave me the opportunity to practice `git rebase -i`. ;-) Pushed, thank you. Gerald
