Merge pull request #14089 from annando/ping-lock
authorHypolite Petovan <hypolite@mrpetovan.com>
Wed, 10 Apr 2024 23:19:24 +0000 (19:19 -0400)
committerGitHub <noreply@github.com>
Wed, 10 Apr 2024 23:19:24 +0000 (19:19 -0400)
Prevent concurring ping requests


Trivial merge