Merge pull request #527 from antonio-nino-diaz-arm/an/non_ascii
authordanh-arm <dan.handley@arm.com>
Thu, 18 Feb 2016 18:34:11 +0000 (18:34 +0000)
committerdanh-arm <dan.handley@arm.com>
Thu, 18 Feb 2016 18:34:11 +0000 (18:34 +0000)
commitcd48eeb5910cfa6500890fcfdd7b5e01f9b948ec
tree8595921d2aea2d56ed387f757b3bba796d738de6
parent38363bb94bba3d6f271f4c5eb07bb3c080d44831
parent8ccca41255cb015231266341ab9d03b28e61e65f
Merge pull request #527 from antonio-nino-diaz-arm/an/non_ascii

Remove non-ASCII character from comment