On 11/4/22 18:06, Marc Zyngier wrote: > 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. > OK, thanks! -- An old man doll... just what I always wanted! - Clara _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/mailman/listinfo/kvmarm
