Make fast forward from 4.08.1-9
authorStéphane Glondu <glondu@debian.org>
Thu, 30 Jul 2020 12:45:47 +0000 (14:45 +0200)
committerStéphane Glondu <glondu@debian.org>
Thu, 30 Jul 2020 12:45:47 +0000 (14:45 +0200)
[dgit --quilt=gbp]


Trivial merge