Merge pull request #14260 from neheb/mon
authorRosen Penev <rosenp@gmail.com>
Sat, 19 Dec 2020 02:10:47 +0000 (18:10 -0800)
committerGitHub <noreply@github.com>
Sat, 19 Dec 2020 02:10:47 +0000 (18:10 -0800)
monit: add libtool fixup


Trivial merge