Merge pull request #550 from antonio-nino-diaz-arm/an/dead_loops
authordanh-arm <dan.handley@arm.com>
Wed, 16 Mar 2016 11:02:28 +0000 (11:02 +0000)
committerdanh-arm <dan.handley@arm.com>
Wed, 16 Mar 2016 11:02:28 +0000 (11:02 +0000)
Remove all non-configurable dead loops


Trivial merge