Fix the stage and version-check targets for make -C deps#47881
Merged
vtjnash merged 1 commit intomasterfrom aa/make-stagedDec 13, 2022
+2
stage and version-check targets for make -C deps#47881