Merge pull request #13940 from Trotzky/watchcat-new-features
authorRosen Penev <rosenp@gmail.com>
Wed, 25 Nov 2020 22:28:37 +0000 (14:28 -0800)
committerGitHub <noreply@github.com>
Wed, 25 Nov 2020 22:28:37 +0000 (14:28 -0800)
watchcat: add nopingtime option + refactoring


Trivial merge