| commit | 5373c663b1d4a458b606f7558fa4b5392d127a40 | [log] [tgz] |
|---|---|---|
| author | Dimitris Papastamos <dimitris.papastamos@arm.com> | Tue May 22 10:34:52 2018 +0100 |
| committer | GitHub <noreply@github.com> | Tue May 22 10:34:52 2018 +0100 |
| tree | fe28caab9cd7dc96670c10038e2f8766975e35ce | |
| parent | ccadd05d959023904f2445b78ed97509870e284f [diff] | |
| parent | 3cc3917b90d362b38aac72259b12fd1cb5b9717b [diff] |
Merge pull request #1393 from geesun/correct_comment Correct some typo errors in comment