[pull] main from google:main#7

pull[bot] merged 1 commit intoSuperoldman96:mainSuperoldman96/bindiff:mainfrom

google:maingoogle/bindiff:mainCopy head branch name to clipboard