Hi all, I used to search previous emails (including my own, as reference) at https://lists.gem5.org/mailman3/lists/gem5-users.gem5.org/ But that address is no longer available, apparently.
Was the mailing list moved somewhere else? Were users and corresponding "history" of posts also moved? At https://www.gem5.org/mailing_lists/ it's indicated to use https://harmonylists.io/list/gem5-users.gem5.org but I cannot log in with my former user/passwd. Should I just re-create my user there? Sorry for the dumb question, and thank you. -- Pedro Henrique Exenberger Becker Ph.D. Student at Universitat Politècnica de Catalunya
_______________________________________________ gem5-users mailing list -- gem5-users@gem5.org To unsubscribe send an email to gem5-users-le...@gem5.org