]> git.ipfire.org Git - thirdparty/mkosi.git/commitdiff
Merge pull request #3275 from DaanDeMeyer/pacman-priority
authorDaan De Meyer <daan.j.demeyer@gmail.com>
Fri, 13 Dec 2024 13:56:17 +0000 (13:56 +0000)
committerGitHub <noreply@github.com>
Fri, 13 Dec 2024 13:56:17 +0000 (13:56 +0000)
pacman: Make sure repositories from dropins take priority


Trivial merge