arduino/Arduino — pull request #81 by arky (2012-05-14 04:49:45+00:00)
Title: Fixes Ubuntu/Debian LP #998952

This bug fixes the following downstream bug.

https://bugs.launchpad.net/ubuntu/+source/arduino/+bug/998952