]> git.earman.xyz Git - sensor-watch.git/commitdiff
Merge pull request #247 from TheOnePerson/timer-face
authorJose Castillo <joeycastillo@utexas.edu>
Thu, 18 May 2023 11:43:39 +0000 (07:43 -0400)
committerGitHub <noreply@github.com>
Thu, 18 May 2023 11:43:39 +0000 (07:43 -0400)
Timer face: fix error with repeating timers


Trivial merge