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)
commit0e38893a0fe4859fef05cb3c5a7e0306575c9ec2
tree9044f8e3955a424c718a633c9db8b45ac939ff70
parent6d2b2ae8349f2db566b2112ac1d918f8609bfbc1
parenta64398b2ca1cdaee291550face0d1ce5f8ea52f6
Merge pull request #30236 from DaanDeMeyer/mkosi

Update to mkosi v19