Hi Folks, Just an FYI it looks like a bunch of commits may have been accidentally pushed to master sometime in the past day. You may not want to merge origin/master (if origin is how you reference https://github.com/open-mpi/omp) into your master or rebase off of it until we get some clarity on what has happened.
Howard
_______________________________________________ devel mailing list [email protected] https://rfd.newmexicoconsortium.org/mailman/listinfo/devel
