Thanks for the heads-up.
Gilles made a first PR: https://github.com/open-mpi/ompi/pull/6626
> On Apr 27, 2019, at 7:14 AM, Lisandro Dalcin via devel
> wrote:
>
> All the symbols below are legacy MPI-1 stuff, then should go away, marked as
> deprecated, etc.
>
> $ grep
All the symbols below are legacy MPI-1 stuff, then should go away, marked
as deprecated, etc.
$ grep "MPI_COMBINER_[HS].*_INTEGER"
/home/devel/mpi/openmpi/4.0.1/include/mpi.h
MPI_COMBINER_HVECTOR_INTEGER,
MPI_COMBINER_HINDEXED_INTEGER,
MPI_COMBINER_STRUCT_INTEGER,
--
Lisandro Dalcin