It looks like both should be added there, being used to detect that no dependency has to be computed for them. You can merge and push another commit afterwards with this update. Thanks.

—
Reply to this email directly or view it on GitHub.