Update gcc-arm-embedded PPA in Travis#4921
Merged
theotherjimmy merged 2 commits intoARMmbed:masterfrom Aug 21, 2017
amq:patch-2
Merged
Update gcc-arm-embedded PPA in Travis#4921theotherjimmy merged 2 commits intoARMmbed:masterfrom amq:patch-2
theotherjimmy merged 2 commits intoARMmbed:masterfrom
amq:patch-2