Fix issue with circular dependency in request.h#1

cniethammer wants to merge 20 commits into

devreal:mpi-continue-masterdevreal/ompi:mpi-continue-masterfrom

cniethammer:mpi-continue-master-header-fixcniethammer/ompi:mpi-continue-master-header-fixCopy head branch name to clipboard