Merge pull request #1029 from annando/pumpio-fix
authorTobias Diekershoff <tobias.diekershoff@gmx.net>
Mon, 5 Oct 2020 08:43:42 +0000 (10:43 +0200)
committerGitHub <noreply@github.com>
Mon, 5 Oct 2020 08:43:42 +0000 (10:43 +0200)
Pumpio: Minor fixes to avoid notices and editor warning


Trivial merge