summaryrefslogtreecommitdiff
tag name1.4.0 (280fe59f16194e701bdce5b456e3a7f790712ee8)
tag date2015-11-04 13:53:43 +0000
tagged byPaul Geary <paul.geary@arm.com>
tagged objectcommit ee9f1d9619...
bumped tag to 1.4.0