signal: Remove has_group_leader_pid
authorEric W. Biederman <ebiederm@xmission.com>
Sun, 26 Apr 2020 12:59:55 +0000 (07:59 -0500)
committerEric W. Biederman <ebiederm@xmission.com>
Tue, 28 Apr 2020 21:54:25 +0000 (16:54 -0500)
commitbbd40fc4816d5329a89397206ece9f1763787a88
tree4f9bc099d5b952496b53420da532be15efb63acc
parent610b818856e1477964b59040c740f6ec55883045
signal: Remove has_group_leader_pid

After the introduction of exchange_tids has_group_leader_pid is
equivalent to thread_group_leader.  After the last couple of cleanups
has_group_leader_pid has no more callers.

So remove the now unused and redundant has_group_leader_pid.

Signed-off-by: "Eric W. Biederman" <ebiederm@xmission.com>
include/linux/sched/signal.h