| commit | 72ce0c678a9dee8dedab0514d7b213def68c1ed8 | [log] [tgz] |
|---|---|---|
| author | Dimitris Papastamos <dimitris.papastamos@arm.com> | Wed Jun 20 09:50:56 2018 +0100 |
| committer | GitHub <noreply@github.com> | Wed Jun 20 09:50:56 2018 +0100 |
| tree | d1edc8473439be1bbc62ec7b8e86eabcf7ab40bc | |
| parent | 7032f9a1f7774007925e199091ebbc9d304f9aba [diff] | |
| parent | e350e78cd95848cf42ad121f685b6433aae1b60a [diff] |
Merge pull request #1423 from chandnich/sgi-575/dyncfg Sgi 575/dyncfg