Merge pull request #13439 from neheb/grlo
authorRosen Penev <rosenp@gmail.com>
Sat, 26 Sep 2020 23:05:52 +0000 (16:05 -0700)
committerGitHub <noreply@github.com>
Sat, 26 Sep 2020 23:05:52 +0000 (16:05 -0700)
grilo: update to 0.3.13


Trivial merge