commit | 2dcd0674e66dce9890b850837fb3b758dd094bcb | [log] [tgz] |
---|---|---|
author | Gilles Peskine <gilles.peskine@arm.com> | Thu Aug 20 09:43:56 2020 +0200 |
committer | GitHub <noreply@github.com> | Thu Aug 20 09:43:56 2020 +0200 |
tree | dd843aebe71533b571f9424e13facf2febb2713d | |
parent | 2823efabc8e4398dedb9dd30b767573b63cfd459 [diff] | |
parent | 2645bcc70924f97c30f4d5c9a1d0324148d107dc [diff] |
Merge pull request #3582 from bensze01/license-2.16 2.16 only: Fix license header in pre-commit hook