Brian and I just added some new "State" labels on GitHub to help with managing all the open issues. Please add and keep up to date the "State" labels on your open issues.
See this wiki page for more information (might wanna bookmark it):
https://github.com/open-mpi/ompi/wiki/SubmittingBugs#assign-appropriate-labels
Thank you!
--
Jeff Squyres
[email protected]
_______________________________________________
devel mailing list
[email protected]
https://lists.open-mpi.org/mailman/listinfo/devel
