[mpiwg-tools] Fwd: [mpi-forum/mpi-issues] MPI RMA integer interfaces for AINT arguments (Issue #528)