bug#44507: closed ([PATCH 0/3] Create "dev.cpio" for Heads.)

[GNU bug Tracking System]

Your message dated Sun, 22 Nov 2020 11:07:47 +0100
with message-id <20201122110747.17a61481@scratchpost.org>
and subject line Re: [PATCH 0/3] Create "dev.cpio" for Heads.
has caused the debbugs.gnu.org bug report #44507,
regarding [PATCH 0/3] Create "dev.cpio" for Heads.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
44507: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=44507
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH 0/3] Create "dev.cpio" for Heads.
>
>
>
>
> Date: 
>
> Sat,  7 Nov 2020 21:47:18 +0100
>
>
>
>
> This patch series dynamically creates "dev.cpio" for Heads instead of
> carrying it as a binary blob.
>
> Danny Milosavljevic (3):
>   linux-initrd: Handle 'block-special and 'char-special cpio headers as
>     well.
>   linux-initrd: Add special-file->cpio-header*
>   gnu: Add heads-dev-cpio.
>
>  gnu/packages/heads.scm | 34 ++++++++++++++++++++++++++++++++++
>  guix/cpio.scm          | 33 ++++++++++++++++++++++++++++++---
>  2 files changed, 64 insertions(+), 3 deletions(-)
>
>
>
>
> --- End Message ---

--- Begin Message --- Subject: Re: [PATCH 0/3] Create "dev.cpio" for Heads. Date: Sun, 22 Nov 2020 11:07:47 +0100

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

* b1dfc64552265d66e60d11c2a1b6f4da549cd495
* 8e7c98963f7e51b2ee9fd140f1aa59cf0f762a60
* d82f227291699e4bea655fbac23620576702667b

pgpP9EUZOIyt8.pgp
Description: OpenPGP digital signature

--- End Message ---