]> git.earman.xyz Git - sensor-watch.git/commitdiff
Merge pull request #79 from jackbondpreston/main
authorjoeycastillo <joeycastillo@utexas.edu>
Mon, 25 Jul 2022 16:06:05 +0000 (12:06 -0400)
committerGitHub <noreply@github.com>
Mon, 25 Jul 2022 16:06:05 +0000 (12:06 -0400)
movement: fix movement_request_wake() prototype


Trivial merge