tree 5600523a42e194280583c16cda686a4ee7658d80
parent 3cd3a98ba95a0e18f77b78c65a54737a498aaa0c
parent 52f707fe779bfc8ceaa17575b47b6b6965538bd7
author Dimitris Papastamos <dimitris.papastamos@arm.com> 1523887468 +0100
committer GitHub <noreply@github.com> 1523887468 +0100

Merge pull request #1356 from robertovargas-arm/misra-changes

Misra changes