summaryrefslogtreecommitdiff
tag name1.3.0 (e3436e7be699cdd44c10615c352b77143ef07aee)
tag date2015-05-18 15:16:55 +0100
tagged byPaul Geary <paul.geary@arm.com>
tagged objectcommit 8ca8513880...
revision bump to 1.3.0