Subject: Re: [PATCH v4 02/10] system: Rename operating-system-parameters-file to operating-system-boot-parameters-file.

From: Danny Milosavljevic <[email-masked]>
Date: Sat, 22 Apr 2017 21:00:31 +0200

Applied this patch to master as 71d04202026e2061f898a142a8381d55bee5fb00 and pushed.