Skip to content

Fix unexpected dir substitution in url#135

Merged
dtolnay merged 3 commits intomasterfrom
replace
Oct 12, 2021
Merged

Fix unexpected dir substitution in url#135
dtolnay merged 3 commits intomasterfrom
replace

Conversation

@dtolnay
Copy link
Copy Markdown
Owner

@dtolnay dtolnay commented Oct 12, 2021

Fixes #134.

@dtolnay dtolnay merged commit c110590 into master Oct 12, 2021
@dtolnay dtolnay deleted the replace branch October 12, 2021 00:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Inappropriate substitution of $DIR and $WORKSPACE

1 participant