heater tweaks + coverity fix #410

Merged
gaisser merged 5 commits from mueller/heater-coverity into development 2021-04-20 17:43:20 +02:00

5 Commits