75cf79c783
operator in Open MPI. Creepy that it was not discovered earlier. cmr=v1.8.2:reviewer=ompi-rm1.8 This commit was SVN r31473.