diff with upstream 1.12.3#16

jonathanpwang wants to merge 4 commits intorelease/1.12.3openvm-org/uint:release/1.12.3from

v1.12.3-openvmopenvm-org/uint:v1.12.3-openvmCopy head branch name to clipboard