This repository has been archived by the owner on Aug 2, 2022. It is now read-only.
Implement NO_DUPLICATE_DEFERRED_ID protocol feature#7072
Merged
arhag merged 10 commits intoforced-replayfrom 6115-no-duplicate-deferred-idApr 11, 2019
+394-91
Commits
Commits on Apr 5, 2019
- committed
log provided feature digests in bios_boot.sh and try a different way of iterating through the provided list #6115
committedlog what the FEATURE_DIGESTS environment variable is set to as well before calling bios_boot.sh #6115
committed- committed
revert previous commit (the issue was not in the bash script) and fix the getAllBuiltinFeatureDigestsToPreactivate function in Node.py #6115
committed