[CRIU] [PATCH] version: sync version with master branch

[Andrei Vagin]

No, no, no. We have to rebase criu-dev over master.
I am preparing a new criu-dev branch:

https://github.com/avagin/criu/tree/criu-dev-next

On Fri, Jul 06, 2018 at 06:37:48AM +0000, Adrian Reber wrote:
> From: Adrian Reber <areber at redhat.com>
> 
> Signed-off-by: Adrian Reber <areber at redhat.com>
> ---
>  Makefile.versions | 4 ++--
>  1 file changed, 2 insertions(+), 2 deletions(-)
> 
> diff --git a/Makefile.versions b/Makefile.versions
> index f92388e..996f544 100644
> --- a/Makefile.versions
> +++ b/Makefile.versions
> @@ -1,10 +1,10 @@
>  #
>  # CRIU version.
>  CRIU_VERSION_MAJOR	:= 3
> -CRIU_VERSION_MINOR	:= 6
> +CRIU_VERSION_MINOR	:= 9
>  CRIU_VERSION_SUBLEVEL	:=
>  CRIU_VERSION_EXTRA	:=
> -CRIU_VERSION_NAME	:= Alabaster Finch
> +CRIU_VERSION_NAME	:= Sand Martin
>  CRIU_VERSION		:= $(CRIU_VERSION_MAJOR)$(if $(CRIU_VERSION_MINOR),.$(CRIU_VERSION_MINOR))$(if $(CRIU_VERSION_SUBLEVEL),.$(CRIU_VERSION_SUBLEVEL))$(if $(CRIU_VERSION_EXTRA),.$(CRIU_VERSION_EXTRA))
>  
>  export CRIU_VERSION_MAJOR CRIU_VERSION_MINOR CRIU_VERSION_SUBLEVEL
> -- 
> 1.8.3.1
>