Re: [Mpi3-tools] Next MPI-3 Tools WG meeting Monday 8/26 + Schedule fornext meetings