search

open-mpi / ompi

Open MPI main development repository
https://www.open-mpi.org
Other
2.07k stars 844 forks source link

op: plug memory leaks #12615

Closed ggouaillardet closed 2 weeks ago