Merge pull request #25136 from yuwata/udev-id-renaming
authorLuca Boccassi <bluca@debian.org>
Mon, 31 Oct 2022 20:02:41 +0000 (21:02 +0100)
committerGitHub <noreply@github.com>
Mon, 31 Oct 2022 20:02:41 +0000 (21:02 +0100)
commit768b86b84a42c9b8194d30f086475f7eac4b4770
tree5f5ab443e616e70f91c15a6b486323ae3e38446c
parent7319adcd1ba0582850adb49ae6cce69ddb41b7e2
parent28235d1062f0a344b342979a0a6be06712bfa67f
Merge pull request #25136 from yuwata/udev-id-renaming

udev: cleanup for ID_RENAMING property