diff options
| author |  Mehrdad Afshari <mehrdada@users.noreply.github.com> | 2017-12-30 00:31:31 -0800 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2017-12-30 00:31:31 -0800 |
| commit | 77054fb794ea02319933d7804d55d0d9861c1d55 (patch) | |
| tree | cd7452a00d83fa42e8b379dd4a579c043c75712c /.gitignore | |
| parent | 4233cf20c4e31cb12adafc12b2630ae5ee766a20 (diff) | |
| parent | 98efefcc1e4e94d97125e828b1ec99174c2ee1d4 (diff) | |
Merge pull request #13882 from mehrdada/relax-polling
Relax log-level when polling engine is not defined
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions