Allow passing a path with tilde to the configure script#45375
Merged
bors merged 1 commit intorust-lang:masterfrom Oct 19, 2017 
Merged
Allow passing a path with tilde to the configure script#45375bors merged 1 commit intorust-lang:masterfrom 
bors merged 1 commit intorust-lang:masterfrom