fix rm: `project.extras` also contains dependency names#985

Merged

bors[bot] merged 1 commit intoJuliaLang:masterfrom 00vareladavid:00/fix/rm

Jan 14, 2019

+14-1

Commits on Jan 14, 2019

fix rm: project.extras also contain dependency names
00vareladavid
committed