arduino/Arduino — pull request #1218 by colombojrj (2013-01-12 17:15:20+00:00)
Title: Update hardware/arduino/cores/arduino/wiring_digital.c

Some memory saving.