You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Use UUID's to generate random tempname on Windows (JuliaLang#33785)
* Use UIUD to create random tempname on Windows
* Use underscores and remove extension
* Truncate to 10 chars the UUID
* Generate the random name from a random byte array
* Update file.jl
(cherry picked from commit d759b5b)
0 commit comments