[CRIU] ✓ travis-ci: success for criu: pagemap: minor improvements

[Patchwork]

== Series Details ==

Series: criu: pagemap: minor improvements
URL   : https://patchwork.criu.org/series/844/
State : success

== Logs ==

For more details see: https://travis-ci.org/criupatchwork/criu/builds/174747700