Sending to the dynamorio-devs email list does in fact seem to be working so we restore that setting.
Issue: #3340 (closed) Fixes #3031 (closed)
Sending to the dynamorio-devs email list does in fact seem to be working so we restore that setting.
Issue: #3340 (closed) Fixes #3031 (closed)