Another fix for workspace path joining#8964

Closed

dylni wants to merge 1 commit intorust-lang:masterfrom dylni:workspace-path-joining

+57-1

Commits on Dec 10, 2020

Fix one case of workspace path joining
dylni
committed