[CRIU] ✓ travis-ci: success for pid_ns: Destroy helpers via kill()

[Patchwork]

== Series Details ==

Series: pid_ns: Destroy helpers via kill()
URL   : https://patchwork.criu.org/series/1542/
State : success

== Logs ==

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