Thanks Philipp,
You can open a Pull Request vs the master branch on the github repository
https://github.com/open-mpi/ompi.git
All you need is sign-off your commits (please make sure you understand what it
means)
Then one of us will backport it to the release branches once it gets merged.
Cheer
When packaging openMPI 3.0.0rc1 I get two warnings:
[ 280s] openmpi3-libs.x86_64: I: binary-or-shlib-calls-gethostbyname
/usr/lib64/mpi/gcc/openmpi3/lib64/libopen-rte.so.40.0.0
[ 280s] openmpi3-devel.x86_64: I: binary-or-shlib-calls-gethostbyname
/usr/lib64/mpi/gcc/openmpi3/lib64/openmpi/mca_
