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
signature.asc
Description: PGP signature