I stumbled across this this morning; I didn't even know such a thing existed:
https://fossies.org/diffs/openmpi/ For example: https://fossies.org/diffs/openmpi/2.0.1_vs_2.0.2/index.html Nifty. -- Jeff Squyres jsquy...@cisco.com _______________________________________________ devel mailing list devel@lists.open-mpi.org https://rfd.newmexicoconsortium.org/mailman/listinfo/devel