Resources: Avoid assuming that deps have a sane name#8696

Merged

0xc0170 merged 2 commits intoARMmbed:masterfrom

theotherjimmy:handle-parent-renames

Nov 14, 2018

Commits on Nov 9, 2018

Resources: Avoid assuming that deps have a sane name
theotherjimmy
committed

Commits on Nov 13, 2018

Avoid constructing a FileRef when we don't use it
theotherjimmy
committed