]> git.piffa.net Git - arduino/commitdiff
Merge branch 'master' of kim:/home/git/arduino
authorAndrea Manni <andrea@piffa.net>
Fri, 22 Jan 2016 11:48:20 +0000 (12:48 +0100)
committerAndrea Manni <andrea@piffa.net>
Fri, 22 Jan 2016 11:48:20 +0000 (12:48 +0100)

Trivial merge