tree 06c97c4ee7c0b2be2bbecd88ea53e1abc8a04ec3
parent 4ce806fe1b33cd07bd07abf669d05364bf362aee
parent c2ebbbfec549ae0247710e80d593c96859e22be9
author Mu-Le Lee <mulelee@google.com> 1660715895 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1660715895 +0000

Merge "Change the format of header-abi-diff config from .ini to .json"