Merge pull request #1532 from jeenu-arm/misra-fixes
authorDimitris Papastamos <dimitris.papastamos@arm.com>
Wed, 22 Aug 2018 09:25:41 +0000 (10:25 +0100)
committerGitHub <noreply@github.com>
Wed, 22 Aug 2018 09:25:41 +0000 (10:25 +0100)
commit11dfe0b49ac8fcb5d1b516a3f52b06bc433ff4d9
tree4165e030d11f084409e51ac42755f882c3f23bbb
parent61e7c0542e965e6e03569ed13b81ed185080c057
parentb634fa910e075ce37e2dcfe8f723ee06380a0d7f
Merge pull request #1532 from jeenu-arm/misra-fixes

MISRA fixes