On Tue, Sep 18, 2018 at 9:25 PM Oleksii Kliukin <alexk@hintbits.com> wrote:
> > On 18. Sep 2018, at 03:18, Thomas Munro <thomas.munro@enterprisedb.com> wrote:
> > Here is a patch that I propose to commit and back-patch to 9.4. I
> > just wrote a suitable commit message, edited the comments lightly and
> > fixed some whitespace.
>
> Thanks!
>
> Apart from the fact that the reviewer's name is “Murat Kabilov” and
> not “Murak Kabilov” the back-patch looks good to me.
Oops, fixed. Pushed. Thanks all for the report, patch and reviews.
--
Thomas Munro
http://www.enterprisedb.com