Minor simplifications.#1
Merged
wesm merged 1 commit intowesm:rc-verification-scriptfrom May 21, 2021
jorgecarleitao:wesm-rc-verification-script
Merged
Minor simplifications.#1wesm merged 1 commit intowesm:rc-verification-scriptfrom jorgecarleitao:wesm-rc-verification-script
wesm merged 1 commit intowesm:rc-verification-scriptfrom
jorgecarleitao:wesm-rc-verification-script
Commits
Commits on May 21, 2021
- committed
