Merge pull request #3241 from ffontaine/master
authorMatthias Runge <mrunge@redhat.com>
Wed, 21 Aug 2019 09:15:57 +0000 (11:15 +0200)
committerGitHub <noreply@github.com>
Wed, 21 Aug 2019 09:15:57 +0000 (11:15 +0200)
configure.ac: fix activation of snmp_agent


Trivial merge