Hey guys, Sorry to bother you. I was wondering if there is an IRC or discord channel for this mailing list.
(there is an IRC channel on Freenode under #openmpi but it's like 2 people in it) Thank you for your time Best Regards, ---- George Marselis _______________________________________________ users mailing list users@lists.open-mpi.org https://lists.open-mpi.org/mailman/listinfo/users
