partial order follow-up#12216

dckc wants to merge 2 commits intomasterAgoric/agoric-sdk:masterfrom

dc-no-reverseAgoric/agoric-sdk:dc-no-reverseCopy head branch name to clipboard