@Chris--A
Chris--A Merge pull request #15 from PaulStoffregen/master
8012850 Dec 26, 2017
Merge pull request #15 from PaulStoffregen/master 
Fix naming conflict with newer ARM toolchain
8012850