On 10/08/25 13:30, Michael Tokarev wrote:
On 13.07.2025 14:18, Michael Tokarev wrote:Hi! Has this change been forgotten?Another ping? Or can we assume this change isn't needed anymore? :)
Thanks for the pings Michael.About the change, we will post a patch-set soon with the suggested change by Cedric.
I was on vacation past week, so couldn't see the mails. Thanks, - Aditya G
