shithub: plan9front

Download patch

ref: d919ad3b5e8e98d7470275d724772de221e060f6
parent: d0cc9e2eb65222edb244f93d97d062e6f4eb5e7e
author: cinap_lenrek <cinap_lenrek@felloff.net>
date: Sat Dec 19 09:59:19 EST 2020

devsons: remove #c/pgrpid

The process group id is essentially a unique id
of the namespace but it was never well documented
nor is it used by any program.