diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2022-05-22 02:00:01 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2022-05-22 02:00:11 +0200 |
| commit | ee44a72409017f1bb74b1bc4c2e82fe03ac18c5c (patch) | |
| tree | ba97adad829e89891fcb6333e539c8f804082a39 /etc/git | |
| parent | 0aac7fba79dbcdb83c30c10b461dbf29f63e2b6a (diff) | |
| download | guix-ee44a72409017f1bb74b1bc4c2e82fe03ac18c5c.tar.gz guix-ee44a72409017f1bb74b1bc4c2e82fe03ac18c5c.zip | |
gnu: criu: Update to 3.17.
* gnu/packages/virtualization.scm (criu): Update to 3.17.
[arguments]: Set the correct and unused PLUGINDIR.
Diffstat (limited to 'etc/git')
0 files changed, 0 insertions, 0 deletions