chore(deps): bump verification/cbmc/aws-c-common from 70ed84b to 4f874ce#796

dependabot[bot] wants to merge 1 commit into

masteraws/aws-encryption-sdk-c:masterfrom

dependabot/submodules/verification/cbmc/aws-c-common-4f874ceaws/aws-encryption-sdk-c:dependabot/submodules/verification/cbmc/aws-c-common-4f874ceCopy head branch name to clipboard