mbedmicro/mbed — pull request #106 by jorisa (2013-11-08 21:40:41+00:00)
Title: Fix bug in gpio_set not setting reserved pins correctly

Loop going over reserved pins was not going over all entries as result of incorrect sizeof