On Mon, 31 Jul 2023, Chuck Lever wrote: > > I'd like to apply David's fix as-is, unless it's truly broken or > someone has a better quick solution. > Your reasoning is sound. From a behavioural perspective (though not from a maintenance perspective) the patch is no worse than the current code, so Reviewed-by: NeilBrown <neilb@xxxxxxx> NeilBrown
