mbedmicro/mbed — pull request #265 by cfb95 (2014-04-19 00:48:35+00:00)
Title: Update gpio_irq_api.c

More irq's and user button bugfix copied from NUCLEO_F103RB commit ab7cc12 by bcostm