On Wed, Apr 8, 2020 at 2:24 AM Etsuro Fujita <etsuro.fujita@gmail.com> wrote:
> On Wed, Apr 8, 2020 at 12:15 AM Tomas Vondra
> <tomas.vondra@2ndquadrant.com> wrote:
> > On Mon, Apr 06, 2020 at 05:28:52PM +0900, Etsuro Fujita wrote:
> > >On Sat, Apr 4, 2020 at 12:15 AM Etsuro Fujita <etsuro.fujita@gmail.com> wrote:
> > >> Attached is the original patch (0001) and one patch (0002) with
> > >> changes including those by Tomas and Ashutosh.
> > >
> > >I merged the patches into one and rebased it against HEAD. Attached
> > >is a new version, in which I added the commit message as well. Does
> > >that make sense? If there are no objections, I’ll commit the patch.
>
> > +1
>
> Great! It's midnight in Japan now, so I'll push the patch early morning.
Pushed after modifying some comments further, based on the suggestions
of Ashutosh.
Best regards,
Etsuro Fujita