Merge pull request #215 from dneto0/warnings
authorDavid Neto <dneto@google.com>
Tue, 8 Jun 2021 16:26:29 +0000 (12:26 -0400)
committerGitHub <noreply@github.com>
Tue, 8 Jun 2021 16:26:29 +0000 (12:26 -0400)
commitf836486eb164603f3c8cc7c272f4d3b953d6aa25
tree5c2615c19c6e1e900a89f12e5cbdd8406d8140c4
parentbfe6ce52f16b8405e0ed2648c1d478a03609c0da
parentc1e11359e3cb1e2fada55b391b87ee20ab5babae
Merge pull request #215 from dneto0/warnings

buildHeaders: Add override decoration