On Mon, Jul 29, 2019 at 1:50 PM Brian Norris briannorris@chromium.org wrote:
Side note: it might have helped alleviate some of this pain if there were email notifications to the mailing list when a patch gets applied. I didn't realize (and I'm not sure if Enrico did) that v2 was already merged by the time I noted its mistakes. If I had known, I would have suggested a follow-up patch, not a v3.
I guess I'll be the bot this time: 'twas applied by Greg on Tuesday, July 30 UTC-07:00.
Thanks, Brian