Merge branch 'uchar' into 'debian/sid'
authorStéphane Glondu <glondu@debian.org>
Tue, 14 Jan 2020 12:27:04 +0000 (12:27 +0000)
committerStéphane Glondu <glondu@debian.org>
Tue, 14 Jan 2020 12:27:04 +0000 (12:27 +0000)
Install uchar compatibility package (#944404)

See merge request ocaml-team/ocaml!1


Trivial merge