]> git.ipfire.org Git - thirdparty/systemd.git/commitdiff
Merge pull request #29931 from dtardon/udev-remove-property
authorLuca Boccassi <bluca@debian.org>
Wed, 8 Nov 2023 19:55:45 +0000 (19:55 +0000)
committerGitHub <noreply@github.com>
Wed, 8 Nov 2023 19:55:45 +0000 (19:55 +0000)
 udev-manager: actually remove the property


Trivial merge