On Tue, Sep 18, 2018 at 9:25 PM Oleksii Kliukin <al...@hintbits.com> wrote: > > On 18. Sep 2018, at 03:18, Thomas Munro <thomas.mu...@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
