[Asrg] This mailing list(s)

Are asrg(_at_)irtf(_dot_)org and asrg(_at_)ietf(_dot_)org the same mailing list? If not,  
what's the difference? If so, please, everyone stop sending mail twice.
Cheers,
  Steve

_______________________________________________
Asrg mailing list
Asrg(_at_)irtf(_dot_)org
https://www.irtf.org/mailman/listinfo/asrg