[patch] openmpi2
openmpi2.diff (text/plain), 410 bytes, created by Danilo Egea Gondolfo on 2017-05-21 19:09:10 UTC
(hide)
 
Creator: Danilo Egea Gondolfo
Created: 2017-05-21 19:09:10 UTC
Size: 410 bytes
Actions: View | Diff
Attachments on bug 217750: 182781