Subject: bug#38582: closed (Re: [bug#38582] [PATCH] gnu: criu: Update to 3.13.)

From: [email-masked] (GNU bug Tracking System)
Date: Sun, 15 Dec 2019 21:49:01 +0000

Your bug report

#38582: [PATCH] gnu: criu: Update to 3.13.

which was filed against the guix-patches package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
38582: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=38582
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: [bug#38582] [PATCH] gnu: criu: Update to 3.13.
From: Ludovic Courtès <[email-masked]>
To: Nicolò Balzarotti <[email-masked]>
Cc: [email-masked]
Date: Sun, 15 Dec 2019 22:48:43 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Nicolò Balzarotti <[email-masked]> skribis:

>>>From 74ace32fa4f071494a234399dce707a0f06b6ada Mon Sep 17 00:00:00 2001
> From: nixo <[email-masked]>
> Date: Wed, 11 Dec 2019 13:31:09 +0100
> Subject: [PATCH] gnu: criu: Update to 3.13.
>
> * gnu/packages/virtualization.scm (criu): Update to 3.13.

Applied, thanks!

Ludo’.

Subject: [PATCH] gnu: criu: Update to 3.13.
From: nixo <[email-masked]>
To: Guix-patches <[email-masked]>
Date: Wed, 11 Dec 2019 13:31:09 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Hello Guix!
Here's an updated version of criu!

It's still one of those packages needing python2 :( Guix lint complains
about the homepage (redirecting to https://criu.org/Main_Page) but I'd
keep the current one (they might change the wiki software, who knows)

Thanks! Nicolò