]> git.piffa.net Git - arduino/commitdiff
Merge branch 'master' of kim:/home/git/arduino
authorAndrea Manni <andrea@piffa.net>
Fri, 4 Nov 2016 12:27:45 +0000 (13:27 +0100)
committerAndrea Manni <andrea@piffa.net>
Fri, 4 Nov 2016 12:27:45 +0000 (13:27 +0100)

Trivial merge