Subject: [PATCH] gnu: criu: Update to 3.13.

From: nixo <[email-masked]>
Date: Wed, 11 Dec 2019 13:31:09 +0100

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ò