On Tue, Jun 22, 2021 at 9:18 AM osumi.takami...@fujitsu.com <osumi.takami...@fujitsu.com> wrote: > > On Tuesday, June 22, 2021 11:08 AM Japin Li <japi...@hotmail.com> wrote: > > > Your patch appears to be on the lines we discussed but I would prefer > > > to get it done after Beta2 as this is just a minor code improvement. > > > Can you please send the change as a patch file instead of copy-pasting > > > the diff at the end of the email? > > > > Thanks for your review! Attached v1 patch. > Your patch can be applied to the HEAD. > And, I also reviewed your patch, which seems OK. > Make check-world has passed with your patch in my env as well. >
Pushed, thanks! -- With Regards, Amit Kapila.
