On Tue, Mar 07, 2023 at 12:55:08PM -0800, Nathan Bossart wrote:
> On Tue, Mar 07, 2023 at 12:39:29PM -0500, Melanie Plageman wrote:
>> Yes, sounds clear to me also!
>
> Here is an updated patch.
Fine by me, so done. (I have cut a few words from the comment,
without changing its meaning.)
--
Michael