On Tue, Jun 19, 2018 at 06:02:22PM +0900, Amit Langote wrote:
> Noticed that the relevant code changed, so I rebased the patch. Also,
> made a minor update to a nearby comment.
That looks right to me as we speak about non-leaf partitions here.
Alvaro, as 499be013 is yours, would you fix this inconsistency or should
I? I could understand why things are confusing on HEAD, "partitioned"
and "partition" have opposite meanings.
--
Michael