== Series Details == Series: pidns: Optimize set_next_pid() URL : https://patchwork.criu.org/series/1531/ State : success == Logs == For more details see: https://travis-ci.org/criupatchwork/criu/builds/230789777?utm_source=github_status&utm_medium=notification