open-mpi/ompi — pull request #264 by ggouaillardet (2014-11-11 04:39:37+00:00)
Title: please ignore this PR

force Jenkins to test vs the master ...
sorry for the noise