Sorry for the noise. The infra branch had an old auto-cc. Fixed by: https://chromium.googlesource.com/v8/v8/+/d58dedb143847768fde025514401c33ab3d5e565%5E%21/#F0
On Mon, Jul 24, 2017 at 4:30 PM, Michael Achenbach (Gerrit) < [email protected]> wrote: > Michael Achenbach *posted comments* on this change. > > View Change <https://chromium-review.googlesource.com/583187> > > Patch set 2: > > Set Ready For Review > > > To view, visit change 583187 > <https://chromium-review.googlesource.com/583187>. To unsubscribe, visit > settings <https://chromium-review.googlesource.com/settings>. > Gerrit-Project: v8/v8 > Gerrit-Branch: infra/config > Gerrit-MessageType: comment > Gerrit-Change-Id: I8020a8a945c2762cab4ac45820b6bfe1d15fb2a9 > Gerrit-Change-Number: 583187 > Gerrit-PatchSet: 2 > Gerrit-Owner: Michael Achenbach <[email protected]> > Gerrit-Reviewer: Michael Achenbach <[email protected]> > Gerrit-Reviewer: Nodir Turakulov <[email protected]> > Gerrit-Reviewer: Robbie Iannucci <[email protected]> > Gerrit-CC: [email protected] > Gerrit-Comment-Date: Mon, 24 Jul 2017 14:30:22 +0000 > Gerrit-HasComments: No > Gerrit-HasLabels: No > > -- > -- > v8-dev mailing list > [email protected] > http://groups.google.com/group/v8-dev > --- > You received this message because you are subscribed to the Google Groups > "v8-dev" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > For more options, visit https://groups.google.com/d/optout. > -- -- v8-dev mailing list [email protected] http://groups.google.com/group/v8-dev --- You received this message because you are subscribed to the Google Groups "v8-dev" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
