Phillip Wood [off-list ref] writes:
Hi Rubén
These changes themselves look sensible. As rj/add-p-pager is only in
seen I assume you'll re-roll with these squashed in once everyone is
happy?
Ah, good point. Throwing around "oops, here is a fixup" makes the
development harder to follow for those watching from the sidelines.
I try to keep what is in my tree on 'seen' fairly complete, but
at some point we need to "sync up".
Thanks.