Hi Peter,
On 2019/01/26 17:25, Peter Eisentraut wrote:
> On 25/01/2019 16:19, Tom Lane wrote:
>> Peter Eisentraut <peter.eisentraut@2ndquadrant.com> writes:
>>> committed
>>
>> Some of the buildfarm members are having sort-ordering problems
>> with this. Looks like you could work around it with different
>> partition names (don't assume the relative sort order of
>> letters and digits).
>
> Fixed by light renaming.
Thank you for committing and taking care of BF failures.
Regards,
Amit