Skip to content

Make the pre-push script work on directories with spaces#105853

Merged
bors merged 1 commit intorust-lang:masterfrom jyn514:prepush-windowsDec 23, 2022
+2-10

Commits

Commits on Dec 17, 2022