Hi On Thu, Sep 11, 2014 at 2:15 PM, Michael Biebl <mbiebl at gmail.com> wrote: > 2014-09-11 13:28 GMT+02:00 David Herrmann <dh.herrmann at gmail.com>: >> This patch is untested! Comments welcome. > > Should probably be documented in man udev(7) as well. Indeed, now fixed. Thanks David