Fix bug in gpio_set not setting reserved pins correctly#106
Merged
bogdanm merged 1 commit intoARMmbed:masterfrom Nov 9, 2013
Merged
Fix bug in gpio_set not setting reserved pins correctly#106bogdanm merged 1 commit intoARMmbed:masterfrom
bogdanm merged 1 commit intoARMmbed:masterfrom
