PR #557 Fix windows CI. - SemanticDiff

Fix windows CI. #557

bors-servo merged 1 commit into master from jdm-patch-26

jdm

jdm

Fix windows CI.

e3120d12

jdm

bors-servo

bors-servo

bors-servo

bors-servo

bors-servo merged fb1ec9f8 into master 4 years ago

Login to write a write a comment.

Login via GitHub

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Milestone

No milestone