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
jsquy...@cisco.com
_______________________________________________
devel mailing list
devel@lists.open-mpi.org
https://lists.open-mpi.org/mailman/listinfo/devel
