Merge pull request #833 from keszybz/manifest-recording-improvements

author Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>

Wed, 13 Oct 2021 20:35:22 +0000 (22:35 +0200)

committer GitHub <noreply@github.com>

Wed, 13 Oct 2021 20:35:22 +0000 (22:35 +0200)
author Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Wed, 13 Oct 2021 20:35:22 +0000 (22:35 +0200)
committer GitHub <noreply@github.com>
Wed, 13 Oct 2021 20:35:22 +0000 (22:35 +0200)
diff --cc mkosi/__init__.py
Simple merge
diff --cc mkosi/backend.py
Simple merge
author	Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
	Wed, 13 Oct 2021 20:35:22 +0000 (22:35 +0200)
committer	GitHub <noreply@github.com>
	Wed, 13 Oct 2021 20:35:22 +0000 (22:35 +0200)
		1	2
mkosi/__init__.py	patch \|	diff1 \|	diff2 \|	blob \| history
mkosi/backend.py	patch \|	diff1 \|	diff2 \|	blob \| history