From: Stéphane Glondu <glondu@debian.org>
Date: Tue, 14 Jan 2020 12:27:04 +0000 (+0000)
Subject: Merge branch 'uchar' into 'debian/sid'
X-Git-Tag: archive/raspbian/4.08.1-7+rpi1^2~10
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=0ec2275c1ca07dd8f9515328fd2ef508aafd9e5a;p=ocaml.git

Merge branch 'uchar' into 'debian/sid'

Install uchar compatibility package (#944404)

See merge request ocaml-team/ocaml!1
---

0ec2275c1ca07dd8f9515328fd2ef508aafd9e5a