Merge pull request #1442 from DaanDeMeyer/fixes

author Jörg Behrmann <behrmann@physik.fu-berlin.de>

Mon, 17 Apr 2023 11:03:28 +0000 (13:03 +0200)

committer GitHub <noreply@github.com>

Mon, 17 Apr 2023 11:03:28 +0000 (13:03 +0200)
author Jörg Behrmann <behrmann@physik.fu-berlin.de>
Mon, 17 Apr 2023 11:03:28 +0000 (13:03 +0200)
committer GitHub <noreply@github.com>
Mon, 17 Apr 2023 11:03:28 +0000 (13:03 +0200)
diff --cc mkosi.md
Simple merge
diff --cc mkosi/__init__.py
Simple merge
diff --cc mkosi/backend.py
Simple merge
author	Jörg Behrmann <behrmann@physik.fu-berlin.de>
	Mon, 17 Apr 2023 11:03:28 +0000 (13:03 +0200)
committer	GitHub <noreply@github.com>
	Mon, 17 Apr 2023 11:03:28 +0000 (13:03 +0200)
		1	2
mkosi.md	patch \|	diff1 \|	diff2 \|	blob \| history
mkosi/__init__.py	patch \|	diff1 \|	diff2 \|	blob \| history
mkosi/backend.py	patch \|	diff1 \|	diff2 \|	blob \| history