Pumpio: Minor fixes to avoid notices and editor warning #1029

Merged
annando merged 1 commit from pumpio-fix into develop 2020-10-05 10:43:43 +02:00

1 commit

Author SHA1 Message Date
Michael 6c4482234e Pumpio: Minor fixes to avoid notices and editor warning 2020-10-05 06:51:07 +00:00