Merge pull request #13480 from elkablo/master
authorRosen Penev <rosenp@gmail.com>
Thu, 24 Sep 2020 18:59:51 +0000 (11:59 -0700)
committerGitHub <noreply@github.com>
Thu, 24 Sep 2020 18:59:51 +0000 (11:59 -0700)
ola: fix compilation of this package


Trivial merge