Developers -- A request: when you have a commit that fixes a user-reported issue, please thank the user in the commit message (e.g., "Thanks to Joe Shmoe for reporting the issue."). It's good for the community, and it also *really* helps us write the NEWS file when it comes time for release.
Some of us do this already, but I don't think we're all always consistent about it. Thanks! -- Jeff Squyres jsquy...@cisco.com _______________________________________________ devel mailing list devel@lists.open-mpi.org https://rfd.newmexicoconsortium.org/mailman/listinfo/devel
