Skip to content

Ignore file lock errors if unsupported, on Windows#7602

Merged
bors merged 1 commit intorust-lang:masterfrom
chris-morgan:ignore-flock-if-unsupported-windows
Nov 19, 2019
Merged

Ignore file lock errors if unsupported, on Windows#7602
bors merged 1 commit intorust-lang:masterfrom
chris-morgan:ignore-flock-if-unsupported-windows

Commits

Commits on Nov 18, 2019