This splits the previous patch into two, one for sorting devices,
one for hurd improvements.

Thanks,
Damien

Reply via email to