We give up for now on sending email to dynamorio-devs and restore the defaults of just the committer and author's github emails.
Issue: #3031 (closed), #3340 (closed)
We give up for now on sending email to dynamorio-devs and restore the defaults of just the committer and author's github emails.
Issue: #3031 (closed), #3340 (closed)