31 Jul
2023
31 Jul
'23
7:33 p.m.
On Mon, 31 Jul 2023 at 12:31, Suren Baghdasaryan surenb@google.com wrote:
I got the idea but a couple of modifications, if I may.
Ack, sounds sane to me.
Linus