HI Folks,

There's a new branch on open-mpi/ompi repo.

Is this intentional?

Howard

Reply via email to