Summary

In branch abci++ there is a PR (#6480) for ProcessProposal which was closed before merging to the branch.
As the abci++ has now been rebased to abci++_rebased, we should also rebase #6480 before opening a new PR to try to merge it to the rebased branch (see #7656)

Dependencies

None

For Admin Use

• Not duplicate issue
• Appropriate labels applied
• Appropriate contributors tagged
• Contributor assigned/self-assigned