Skip to content

Allow passing a path with tilde to the configure script#45375

Merged
bors merged 1 commit intorust-lang:masterfrom
topecongiro:enable-tilde
Oct 19, 2017
Merged

Allow passing a path with tilde to the configure script#45375
bors merged 1 commit intorust-lang:masterfrom
topecongiro:enable-tilde

Commits

Commits on Oct 18, 2017