Bug en DMTCP+OpenMPI- instalar parche de Jiajun #137

Closed supermanue closed 7 years ago