Merge pull request #27352 from poettering/devnum-more
authorLennart Poettering <lennart@poettering.net>
Fri, 21 Apr 2023 14:45:51 +0000 (16:45 +0200)
committerGitHub <noreply@github.com>
Fri, 21 Apr 2023 14:45:51 +0000 (16:45 +0200)
commitb676a9483731258359156703b031b3c7325ccd15
tree5df380438fba82c778fab111f1be56acb42db033
parentfe42438427730f39d85f7bf52c5312a9c5c04bcb
parent4560d99e5ea4b9aa115ef96d48e173a4b6f9e82b
Merge pull request #27352 from poettering/devnum-more

devnum-util: port more things over