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...@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
