On Sep 10, 2020, at 10:22 AM, William Gropp <wgr...@illinois.edu> wrote: > > I think this is an editorial fix, though with chapter committee review.
Sounds good. I already review/approved -- I'll pass it on to the bindings committee, too. -- Jeff Squyres jsquy...@cisco.com _______________________________________________ mpi-forum mailing list mpi-forum@lists.mpi-forum.org https://lists.mpi-forum.org/mailman/listinfo/mpi-forum
