tree 3ccceaa0eaa2d7620f888c11df3ecda71a0d8532
parent 51fdbb627f2580b50b4690e16a0b06c362c31efc
parent b31dbb37f65e8bf1509ae20348674ceec2f8ae03
author Jayant Chowdhary <jchowdhary@google.com> 1527620782 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1527620782 +0000

Merge "header-abi-diff: Fix omission of warning message for extensions."