HI Richard
>
>
> > Attached is v5 of this patch. I plan to push it soon if there are no
> > objections. It can result in plan changes, so I don't plan to
> > back-patch it to stable branches. I once thought about pushing it to
> > v19, but at this late phase of the v19 cycle I'm inclined not to.
> > Maybe I would have done that if it were June.
> Thank you for your updating ,v5 looks good to me.The official release
> date for v19 is fast approaching, so it's a little late now.
>
> Thanks