From: Stéphane Glondu <glondu@debian.org>
Date: Fri, 24 Jul 2020 14:51:04 +0000 (+0200)
Subject: Make fast forward from 4.08.1-8
X-Git-Tag: archive/raspbian/4.08.1-10+rpi1^2^2
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=2fd6fc848bd8eac901378fa1ed661d3cdf559ed7;p=ocaml.git

Make fast forward from 4.08.1-8

[dgit --quilt=gbp]
---

2fd6fc848bd8eac901378fa1ed661d3cdf559ed7