Subject: Re: [PATCH 0/3] Create "dev.cpio" for Heads.
From: Danny Milosavljevic <[email-masked]>
To: [email-masked]
Date: Sun, 22 Nov 2020 11:07:47 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Pushed dev.cpio generator to guix master as these commits:

* b1dfc64552265d66e60d11c2a1b6f4da549cd495
* 8e7c98963f7e51b2ee9fd140f1aa59cf0f762a60
* d82f227291699e4bea655fbac23620576702667b