diff options
author | 2017-05-18 15:15:46 -0700 | |
---|---|---|
committer | 2017-09-18 13:34:16 -0700 | |
commit | 1ecbebc08fe578236fbedefe770aa54b157221b4 (patch) | |
tree | 2a94084acb05375f4b996bc59046adf54a554456 /.github | |
parent | ad32075af84eba51466ef53ae68c2e6e0d899ee6 (diff) |
Set the ping behavior as described in the proposal
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions