Download/criu/3.13

Tarball:	criu-3.13.tar.gz
Version:	3.13 "Silicon Willet"
Released:	11 Sep 2019
GIT tag:	v3.13

New features

• VDSO: arm32 support
• Add TLS support for page server communications
• "Ignore" mode for --manage-cgroups
• Restore SO_BROADCAST option for inet sockets

Bugfixes

• Auxiliary events were left in inotify queues
• Lazy-pages daemon didn't detect stack pages and surrounders properly and marked them as "lazy"
• Memory and resource leakage fixes detected by coverity, cppcheck and clang

Improvements

• Use gettimeofday() directly from vdso for restore timings
• Reformat all .py code into pep8 style