Merge pull request #926 from goldshtn/argdist-pid-fix
author4ast <alexei.starovoitov@gmail.com>
Mon, 30 Jan 2017 16:07:05 +0000 (08:07 -0800)
committerGitHub <noreply@github.com>
Mon, 30 Jan 2017 16:07:05 +0000 (08:07 -0800)
argdist: Fix -p behavior to filter tgid and not pid


Trivial merge