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

Trivial merge