Skip to content

Check if rerun-if-changed points to a directory.#8973

Merged
bors merged 2 commits intorust-lang:masterfrom ehuss:rerun-if-directoryDec 14, 2020
+178-13

Commits

Commits on Dec 12, 2020

Commits on Dec 14, 2020