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

Conversation 0 Commits 2 Files Changed 1 +2 -2

2 Commits

Author	SHA1	Message	Date
gaisser	0038c1dc53	Merge branch 'development' into mueller/health-coverity-fix	2021-04-20 16:38:16 +02:00
Robin Mueller	a2ba3181b9	small coverity tweak	2021-04-20 16:16:35 +02:00