Merge pull request #9575 from MrPetovan/bug/9564-registration-ping
authorMichael Vogel <icarus@dabo.de>
Sun, 22 Nov 2020 06:51:23 +0000 (07:51 +0100)
committerGitHub <noreply@github.com>
Sun, 22 Nov 2020 06:51:23 +0000 (07:51 +0100)
Fix wrong variable name in ping_init


Trivial merge