Merge pull request #8794 from albert-lopez/oor
authorDaniel Engberg <daniel.engberg.lists@pyret.net>
Thu, 25 Apr 2019 10:52:39 +0000 (12:52 +0200)
committerGitHub <noreply@github.com>
Thu, 25 Apr 2019 10:52:39 +0000 (12:52 +0200)
oor: update to 1.3.0


Trivial merge