Merge pull request #30236 from DaanDeMeyer/mkosi
authorDaan De Meyer <daan.j.demeyer@gmail.com>
Tue, 28 Nov 2023 22:39:41 +0000 (23:39 +0100)
committerGitHub <noreply@github.com>
Tue, 28 Nov 2023 22:39:41 +0000 (23:39 +0100)
Update to mkosi v19


Trivial merge