Auto-Merge pull request #2524 from maryamtahhan/fix_dpdkstats_compilation
authorcollectd bot <32910397+collectd-bot@users.noreply.github.com>
Tue, 7 Nov 2017 16:14:55 +0000 (17:14 +0100)
committerGitHub <noreply@github.com>
Tue, 7 Nov 2017 16:14:55 +0000 (17:14 +0100)
Automatically merged due to "Automerge" label


Trivial merge