We're talking through the scheduling of a potential fall face-to-face meeting.
In doing so, we're wondering if we actually need it (recall: we turned out to not need the spring meeting). We copied the small set of items on the spring agenda wiki to the proposed fall agenda wiki, and are wondering if there will be enough more added to it to justify a 2-3 day meeting. https://github.com/open-mpi/ompi/wiki/Meeting-2019-Fall If you have topics to discuss, please add them. Thoughts? -- Jeff Squyres jsquy...@cisco.com _______________________________________________ devel mailing list email@example.com https://lists.open-mpi.org/mailman/listinfo/devel