arduino/Arduino — pull request #1886 by ffissore (2014-02-21 10:16:24+00:00)
Title: Fixes for 1.5.6-r2 release

This PR contains the fixes to the bugs found after release 1.5.6. /cc @cmaglie