]> git.ipfire.org Git - thirdparty/mkosi.git/commitdiff
Merge pull request #1304 from DaanDeMeyer/fix-rpmdb
authorJörg Behrmann <behrmann@physik.fu-berlin.de>
Thu, 12 Jan 2023 15:04:11 +0000 (16:04 +0100)
committerGitHub <noreply@github.com>
Thu, 12 Jan 2023 15:04:11 +0000 (16:04 +0100)
Fix rpmdb


Trivial merge