kern/141439: [linux] [patch] linux_exit_group kills group leader

Mon Dec 14 00:04:10 UTC 2009

Old Synopsis: linux_exit_group kills group leader
New Synopsis: [linux] [patch] linux_exit_group kills group leader

Responsible-Changed-From-To: freebsd-bugs->freebsd-emulation
Responsible-Changed-By: linimon
Responsible-Changed-When: Mon Dec 14 00:03:04 UTC 2009
Responsible-Changed-Why: 
Over to maintainer(s).

http://www.freebsd.org/cgi/query-pr.cgi?pr=141439