diff options
| author | Joe Chen <jc@unknwon.io> | 2021-12-20 18:46:54 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-12-20 18:46:54 +0800 |
| commit | 7878465567e160786070d00db9aabd03f88a9191 (patch) | |
| tree | a5fbfb69e32cfa7ea595b33a004361882786ae91 /Makefile | |
| parent | c82dc04cbb7b3da9a42dce6953ab1dceed355f14 (diff) | |
db: skip ping when not available (#6687)
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions