[CRIU] ✓ travis-ci: success for page-pipe: do not allow pipe sharing between different PPB types

[Patchwork]

== Series Details ==

Series: page-pipe: do not allow pipe sharing between different PPB types
URL   : https://patchwork.criu.org/series/2277/
State : success

== Logs ==

For more details see: https://travis-ci.org/criupatchwork/criu/builds/340167552?utm_source=github_status&utm_medium=notification