Skip to content
patch 1008 ('inform about a bug in OpenMPI') merged from the trunk