Bruno Bzeznik 621a1146d6 openmpi: 1.10.1 -> 1.10.7
- No more need for the nbc patch
- Cpusets support fixed
2017-06-23 08:39:49 +02:00
..
2017-06-23 08:39:49 +02:00