[pull] main from google:main - #10

[pull] main from google:main#10

pull[bot] merged 1 commit into

Superoldman96:mainSuperoldman96/bindiff:mainfrom

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