I've tested your arduino-* packages, Scott. Works fine for me, thanks.
Additionally, I've created a pull request for the patch at the upstream arduino project, see https://github.com/arduino/Arduino/pull/42 Perhaps they pull it eventually...
I've tested your arduino-* packages, Scott. Works fine for me, thanks.
Additionally, I've created a pull request for the patch at the upstream arduino project, see https:/ /github. com/arduino/ Arduino/ pull/42
Perhaps they pull it eventually...