Merge pull request #3306 from rubenk/fix-make-check
authorMatthias Runge <mrunge@redhat.com>
Tue, 15 Oct 2019 08:15:37 +0000 (10:15 +0200)
committerGitHub <noreply@github.com>
Tue, 15 Oct 2019 08:15:37 +0000 (10:15 +0200)
Fix make check


Trivial merge