Merge pull request #3238 from ccin2p3/f/syslog-debug-level
authoranaudx <39760660+anaudx@users.noreply.github.com>
Tue, 30 Jul 2019 12:15:22 +0000 (14:15 +0200)
committerGitHub <noreply@github.com>
Tue, 30 Jul 2019 12:15:22 +0000 (14:15 +0200)
Don't fail if syslog loglevel doesn't match


Trivial merge