search

nerves-hub / nerves_hub

NervesHub client for devices
70 stars 14 forks source link

Fix deleting timer key #110

Closed jjcarstens closed 5 years ago

jjcarstens commented 5 years ago

I noticed that after canceling a timer, we don't actually remove it from the state because of a typo. So this fixes that.

fhunleth commented 5 years ago

😱

fhunleth commented 5 years ago

Great catch!