On 09/07/18 22:58, David Rowley wrote:
> On 9 July 2018 at 23:28, Alexander Kuzmenkov <a(dot)kuzmenkov(at)postgrespro(dot)ru> wrote:
>> On 07/09/2018 10:13 AM, David Rowley wrote:
>>> I've attached v5.
>>
>> v5 looks good to me, I've changed the status to ready.
>
> Many thanks for reviewing this.
Pushed, thanks!
- Heikki