tree ccb748b78704c79747ca831c1aace15f08369b08
parent 49dd04815f7e5b1687f4a87340829e55433e210f
parent 5e447816c78f4b4b5ef0b42683b820c2e88f810f
author Antonio Niño Díaz <antonio.ninodiaz@arm.com> 1549366275 +0000
committer GitHub <noreply@github.com> 1549366275 +0000
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJcWXQDCRBK7hj4Ov3rIwAAdHIIAFPcNZsGYi9RCtxvilisVs7t
 ZWUfFkR6KxBz9/BzeQCfpkp/SYMUGAYAzydnnrcB0f5Kam9BHcujCxodGfIjogDz
 +d91RN1EuycqNHag7KtoYUbQ6PAQL8F/tl3CI0hN3hMCBKZy91WqoLhKiJXaDqOL
 t8oHT2k6/dj69Yy7/gdyYOuOZ01P0OfHRDb5MzTqyh9nOt6IIHnjhnjAfSPhgD6t
 p+idhagvLgG+cbZ7+B4YdYisaVzXLP0Rgv99U4wQquKgYTlz6iMRWNjhrt+njrjC
 dLJx8BJm7m23UKIaoK9d1afYrhHO5RsgEX2dEj1SMsCtW4LuYFBwLaEKx5Qj2AI=
 =IiL4
 -----END PGP SIGNATURE-----
 

Merge pull request #1804 from antonio-nino-diaz-arm/an/cleanup

Minor cleanup