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)
commit0ec2275c1ca07dd8f9515328fd2ef508aafd9e5a
treeb2a6b0aa68c7e72592236dae437e48ece88dbadb
parentcf5ebe23707c56994af1eb71052fe03a6bb170ab
parentc0f58ca59597b018645de719a632b623ce1346f3
Merge branch 'uchar' into 'debian/sid'

Install uchar compatibility package (#944404)

See merge request ocaml-team/ocaml!1