Merge pull request #9178 from neheb/op
authorRosen Penev <rosenp@gmail.com>
Fri, 7 Jun 2019 16:34:26 +0000 (09:34 -0700)
committerGitHub <noreply@github.com>
Fri, 7 Jun 2019 16:34:26 +0000 (09:34 -0700)
opus: Update to 1.3.1


Trivial merge