]> git.earman.xyz Git - sensor-watch.git/commitdiff
Merge pull request #54 from davidskeck/patch-5
authorjoeycastillo <joeycastillo@utexas.edu>
Wed, 23 Feb 2022 15:01:39 +0000 (09:01 -0600)
committerGitHub <noreply@github.com>
Wed, 23 Feb 2022 15:01:39 +0000 (09:01 -0600)
Updated function brief


Trivial merge