Just wanted to ask if the CRIU version of criu-dev could be updated. Currently I get this: CRIU major 3 CRIU minor 6 CRIU gitid v3.6-700-gc0ef0d8 Adrian