remote: do not ping all the time
authorNiki Roo <niki@nikiroo.be>
Sun, 12 May 2019 12:21:56 +0000 (14:21 +0200)
committerNiki Roo <niki@nikiroo.be>
Sun, 12 May 2019 12:21:56 +0000 (14:21 +0200)

No differences found