small coverity tweak for Health Device #409

Merged
gaisser merged 2 commits from mueller/health-coverity-fix into development 2021-04-20 16:38:38 +02:00
Owner

Result is now assigned and returned

Result is now assigned and returned
muellerr added the
feature
label 2021-04-20 16:24:21 +02:00
muellerr added 1 commit 2021-04-20 16:24:21 +02:00
muellerr changed title from small coverity tweak to small coverity tweak for Health Device 2021-04-20 16:24:46 +02:00
muellerr added this to the ASTP 1.0.0 Local pools milestone 2021-04-20 16:37:32 +02:00
gaisser added 1 commit 2021-04-20 16:38:19 +02:00
gaisser self-assigned this 2021-04-20 16:38:33 +02:00
gaisser merged commit 9e1f3ee585 into development 2021-04-20 16:38:38 +02:00
gaisser deleted branch mueller/health-coverity-fix 2021-04-20 16:38:42 +02:00
Sign in to join this conversation.
No description provided.