commit | dd511b6bd005ba65e592784d90e8167d64c55682 | [log] [tgz] |
---|---|---|
author | Jayant Chowdhary <jchowdhary@google.com> | Tue May 29 19:06:22 2018 +0000 |
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Tue May 29 19:06:22 2018 +0000 |
tree | 3ccceaa0eaa2d7620f888c11df3ecda71a0d8532 | |
parent | 51fdbb627f2580b50b4690e16a0b06c362c31efc [diff] | |
parent | b31dbb37f65e8bf1509ae20348674ceec2f8ae03 [diff] |
Merge "header-abi-diff: Fix omission of warning message for extensions."