On Sep 10, 2020, at 10:22 AM, William Gropp <[email protected]> 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 [email protected]