
It never lived up to its purpose (and has caused amorphous indirect errors such as https://github.com/open-mpi/ompi/issues/2519), so delete it. Signed-off-by: Jeff Squyres <jsquyres@cisco.com> (cherry picked from commit dd20174532928e0c9cdbe7b206868e6e4bea9d0b)