chiark / gitweb /
gudev: Fix up GUdevDeviceNumber