diff options
author | tomsmeding <tom.smeding@gmail.com> | 2017-04-15 16:12:52 +0200 |
---|---|---|
committer | tomsmeding <tom.smeding@gmail.com> | 2017-04-15 16:12:52 +0200 |
commit | e8114307ea979fadca4d2886bf922da16f7fc0a2 (patch) | |
tree | 70018b531ea43411d31b05b888736bc135f03bc9 /util.h | |
parent | 78302ce933693aca5740e6f901592b6f07f65342 (diff) |
webclient: Handle _push ping by doing nothing
Diffstat (limited to 'util.h')
0 files changed, 0 insertions, 0 deletions