Re: partition -> partitioned

On 2018/06/19 17:51, Amit Langote wrote:
> On 2018/05/17 11:48, Amit Langote wrote:
>> On 2018/05/17 11:40, David Rowley wrote:
>>> On 17 May 2018 at 13:52, Amit Langote <Langote_Amit_f8@lab.ntt.co.jp> wrote:
>>>> Commit 499be013de6 used 'partition' where it really meant 'partitioned' in
>>>> a few places including in a variable name.  For example, what almost all
>>>> places call 'partitioned_rels', make_partition_pruneinfo called
>>>> 'partition_rels'.
>>>>
>>>> Attached a patch to make that uniform to avoid confusion.
>>>
>>> Looks good to me.
>>
>> Thanks for taking a look at it.
> 
> Did this perhaps get forgotten?

Noticed that the relevant code changed, so I rebased the patch.  Also,
made a minor update to a nearby comment.

Thanks,
Amit