Fix hello_gpio_irq for pico 2#611

kilograham merged 1 commit intoraspberrypi:developraspberrypi/pico-examples:developfrom

peterharperuk:hello_gpio_irq_fixpeterharperuk/pico-examples:hello_gpio_irq_fixCopy head branch name to clipboard