K 10
svn:author
V 4
bsam
K 8
svn:date
V 27
2017-07-17T19:23:41.848361Z
K 7
svn:log
V 101
devel/arduino-tools: Chase gcc-arm-embedded update.

PR:		220653
Submitted by:	kevans@ (maintainer))

END