Merge pull request #7334 from neheb/monit
authorchamptar <champetier.etienne@gmail.com>
Sun, 11 Nov 2018 01:09:40 +0000 (20:09 -0500)
committerGitHub <noreply@github.com>
Sun, 11 Nov 2018 01:09:40 +0000 (20:09 -0500)
monit: Fix compilation without deprecated APIs


Trivial merge