From 6b47ad07ca673815463d056e64f1d1912a20a2fa Mon Sep 17 00:00:00 2001 From: Matthew Nickson Date: Wed, 12 Oct 2022 22:03:05 +0100 Subject: [PATCH] [empty commit] pull request for #2126 remove hardcoded ping