On Fri, 7 Sep 2018 19:41:52 +0200 Michael Biebl <bi...@debian.org> wrote:
> I made an upload today which incorporates that patch (with a small fix > as udev needs a aproper ordering on shutdown against umountroot). I see, thank you, you was faster than me :)
