commit | 0a665ed5d1eb6b09102212ad51c6e67f2055ea3b | [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 | d135ad788416493e2b981355a685afeca99bb18f [diff] | |
parent | 649b43f82df9aa6a0ff97e1a622a75591db755a1 [diff] |
Merge pull request #1423 from chandnich/sgi-575/dyncfg Sgi 575/dyncfg