On Fri, 7 Sep 2018 19:41:52 +0200 Michael Biebl <biebl at 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 :)