On Wed, Sep 27, 2023 at 04:57:06PM +0900, Michael Paquier wrote:
> Sure. I found the concept behind 0002 sound. Feel free to go ahead
> with 0001, and I can always look at the second. Always happy to help.
For the sake of the archives:
- Amit has applied 0001 down to 16 as of 54ccfd65868c.
- I've applied 0002 after on HEAD as of 9210afd3bcd6.
--
Michael