Hi,
I tried to do a pull request in the original eudev git repository, but I'm not being able to compare across forks
because my git repository doesn't appear in the drop-down list when I try to select the head repository.
Therefore, I opened the PR in my own repository:
https://github.com/gnuinos/eudev/pull/1
Cheers,
Aitor.