Hey everyone, Just a reminder that we will have our development meeting tomorrow at 10am central US time. If you have specific PRs or Issues to go over please reply here or add them to the wiki. See you tomorrow.
-Tommy To unsubscribe from this group and stop receiving emails from it, send an email to devel+unsubscr...@lists.open-mpi.org.