open-mpi/ompi — pull request #277 by hjelmn (2014-11-20 06:25:51+00:00)
Title: Btlmodrev

Just talked to Jeff. He would like this to wait until after the holiday. Will re-introduce these changes (with any tweaks he recommends) on (or around) Dec 5.