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)
commit43e354658df6f46ae1d680abf62fd6f26843a6f6
tree376080965a1109ef3818364931cfdcb70880a1a2
parent14c09c1bbba1324bd03f58d6af123ba53b29070c
parent6c4482234e805ecc4f6468c9cf21a45067b44b1a
Merge pull request #1029 from annando/pumpio-fix

Pumpio: Minor fixes to avoid notices and editor warning