upstream/0.0_git20200526

Shengjing Zhu

@zhsj

dfe58840 · Merge pull request #1468 from necessarily-equal/check-checksums · May 26, 2020

Upstream snapshot 0.0~git20200526