On Fri, 04 Nov 2022 01:48:21 +0000, Bagas Sanjaya <bagasdotme@xxxxxxxxx> wrote: > > On 11/3/22 22:42, Marc Zyngier wrote: > > No, this is the correct course of action. There isn't any point in > > having an *unrelated* change in a separate series. This is a > > standalone change, posted as a standalone patch. > > > >> Please reroll your series [2] with suggestion applied. > > > > Or not. > > > > You mean the series before this patch have already been applied, > right? This change is 100% independent from the series you quoted. Why should there be a dependency between the two? As for respinning the series at this stage for a documentation formatting issue, this is pretty pointless, and only clutters people's Inbox with redundant versions... M. -- Without deviation from the norm, progress is not possible.
