Merge pull request #8794 from albert-lopez/oor
authorDaniel Engberg <redacted>
Thu, 25 Apr 2019 10:52:39 +0000 (12:52 +0200)
committerGitHub <redacted>
Thu, 25 Apr 2019 10:52:39 +0000 (12:52 +0200)
oor: update to 1.3.0


Trivial merge
git clone https://git.99rst.org/PROJECT