Merge pull request #3245 from mrunge/rdt_fix
authorMatthias Runge <mrunge@redhat.com>
Fri, 9 Aug 2019 05:36:37 +0000 (07:36 +0200)
committerGitHub <noreply@github.com>
Fri, 9 Aug 2019 05:36:37 +0000 (07:36 +0200)
Fix compile time issues


Trivial merge