Merge ocaml (4.05.0-11) import into refs/heads/workingbranch
authorStéphane Glondu <glondu@debian.org>
Fri, 25 Jan 2019 13:59:28 +0000 (13:59 +0000)
committerStéphane Glondu <glondu@debian.org>
Fri, 25 Jan 2019 13:59:28 +0000 (13:59 +0000)

Trivial merge