diff options
author | Pavel Emelyanov <xemul@parallels.com> | 2014-09-12 12:14:39 +0400 |
---|---|---|
committer | Pavel Emelyanov <xemul@parallels.com> | 2014-09-12 12:14:39 +0400 |
commit | 429e81954b0504fad4a4426e329df6a774e65d72 (patch) | |
tree | 8e1efcb9526b535f9de3866c499b0b5625f0d54c | |
parent | c17e342eb1f417987517abcd10734d7909adffa1 (diff) |
criu: Version 1.3.1v1.3.1
We have a couple of problems missed in 1.3, so here's
the -stable .1 for that release.
First of all, we nail down the way CRIU decides whether
restore root task as child or as sibling with the
explicit API switch.
And there are two nasty issues in how CRIU dumps mountpoints.
Signed-off-by: Pavel Emelyanov <xemul@parallels.com>
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,6 +1,6 @@ VERSION_MAJOR := 1 VERSION_MINOR := 3 -VERSION_SUBLEVEL := +VERSION_SUBLEVEL := 1 VERSION_EXTRA := VERSION_NAME := VERSION_SO_MAJOR := 1 |