Re: partition -> partitioned

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?

Thanks,
Amit