]> git.piffa.net Git - arduino/commitdiff
Merge branch 'master' of kim:/home/git/arduino
authorAndrea Manni <andrea@piffa.net>
Wed, 21 Sep 2016 12:07:43 +0000 (14:07 +0200)
committerAndrea Manni <andrea@piffa.net>
Wed, 21 Sep 2016 12:07:43 +0000 (14:07 +0200)

Trivial merge