On Mon, Jul 29, 2019 at 1:50 PM Brian Norris <briannorris@xxxxxxxxxxxx> 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
