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
_
Not IRC or discord, but we do make significant use of Slack: open-mpi.slack.com
> On Mar 5, 2019, at 8:04 AM, George Marselis
> wrote:
>
> 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 Free
