Peter Eisentraut <peter(dot)eisentraut(at)2ndquadrant(dot)com> writes:
> On 06/09/2018 10:16, Peter Eisentraut wrote:
>> The v3 patch attached here was made with git format-patch --no-renames.
>> Let's see how that works out.
> That worked, and the patch has been committed.
Sure enough, gaur's not happy. I'll take a look in a bit.
regards, tom lane