[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#38582: [PATCH] gnu: criu: Update to 3.13.
From: |
Ludovic Courtès |
Subject: |
bug#38582: [PATCH] gnu: criu: Update to 3.13. |
Date: |
Sun, 15 Dec 2019 22:48:43 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) |
Nicolò Balzarotti <address@hidden> skribis:
>>From 74ace32fa4f071494a234399dce707a0f06b6ada Mon Sep 17 00:00:00 2001
> From: nixo <address@hidden>
> 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’.