Closed yuliangz closed 6 years ago
Two ICE related fixes. One minor fix around demo page.
Addressed feedback, thanks.
BTW, please don't squash the commits if you are going to merge for me. I made 3 intentionally.
Two ICE related fixes. One minor fix around demo page.