On Wed, Sep 20, 2023 at 09:43:15AM +0900, Shinya Kato wrote:> Thanks for the patch.> You're right. It looks good to me.
Right, it feels like there has been a lot of copy-paste in this areaof the docs. Applied down to 16.--Michael