From: Stéphane Glondu <glondu@debian.org>
Date: Tue, 14 Jan 2020 12:36:36 +0000 (+0100)
Subject: Make fast forward from 4.08.1-6
X-Git-Tag: archive/raspbian/4.08.1-7+rpi1^2
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=b78133ee7cda6660e281b58e4d00d80ed5978774;p=ocaml.git

Make fast forward from 4.08.1-6

[dgit --quilt=gbp]
---

b78133ee7cda6660e281b58e4d00d80ed5978774