Fix wrong format string in alarm_pool_dump_key#437

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

jonathangjertsen:fix-alarm-pool-dump-key-format-stringjonathangjertsen/pico-sdk:fix-alarm-pool-dump-key-format-stringCopy head branch name to clipboard