| commit | 83d49bb84e29510200263e0798088deb175dc197 | [log] [tgz] |
|---|---|---|
| author | Gilles Peskine <gilles.peskine@arm.com> | Sat Aug 03 13:36:52 2019 +0200 |
| committer | GitHub <noreply@github.com> | Sat Aug 03 13:36:52 2019 +0200 |
| tree | 863510a9d35eda0592670655f87829e3acec2198 | |
| parent | ff645d9838f4797c726562d90c0a9ae5207ea86f [diff] | |
| parent | 762351be1bbc92acdc4a0cae675279f636fca1da [diff] |
Merge pull request #2760 from dgreen-arm/fix-rev-parse-in-abi-script Change worktree_rev to HEAD for rev-parse