Thomas Lange Sat, 07 Jan 2023 03:09:56 -0800
I see no reason against removing the --pid option from unshare. Any objections from others?
-- regards Thomas