]> git.piffa.net Git - arduino/commitdiff
Merge branch 'master' of kim:/home/git/arduino
authorAndrea Manni <andrea@piffa.net>
Thu, 17 Mar 2016 19:17:33 +0000 (20:17 +0100)
committerAndrea Manni <andrea@piffa.net>
Thu, 17 Mar 2016 19:17:33 +0000 (20:17 +0100)

Trivial merge