[CRIU] [PATCH 0/3] criu/config: minor cleanups

[Andrei Vagin]

Applied, thanks!

On Wed, May 09, 2018 at 05:17:49PM +0300, Mike Rapoport wrote:
> Hi,
> 
> These patches address the issues I've introduced with 'criu -v' update and
> clean up the criu/config.c a bit.
> 
> Mike Rapoport (3):
>   criu/config: rename variables counting options in config files
>   criu/config: allow init_config properly handle -h/--help
>   criu/config: reduce the number of argv traversals
> 
>  criu/config.c          | 98 ++++++++++++++++++++++----------------------------
>  criu/crtools.c         | 11 +++---
>  criu/include/crtools.h |  4 ++-
>  3 files changed, 53 insertions(+), 60 deletions(-)
> 
> -- 
> 2.7.4
>