Fixing the behavior of --dep with --extract#2389

Merged

nikswamy merged 7 commits intomasterfrom nik_misc

Nov 11, 2021

+532-175

Commits on Nov 4, 2021

Commits on Nov 5, 2021

documenting and some fixes to the parsing of the --extract setting
nikswamy
committed
Merge remote-tracking branch 'origin/master' into nik_misc
nikswamy
committed

Commits on Nov 8, 2021

Merge remote-tracking branch 'origin/master' into nik_misc
nikswamy
committed

Commits on Nov 9, 2021

Merge branch 'master' into nik_misc
nikswamy
authored

Commits on Nov 11, 2021

Merge branch 'master' into nik_misc
nikswamy
authored