> I'll push this soon, unless there are objections > to the above "undeprecation" of -p.
Go for it. That seems best. Thank you.
> I'll push this soon, unless there are objections > to the above "undeprecation" of -p.
Go for it. That seems best. Thank you.