I should add, FWIW: I’m working with the HEAD of master right now, and not seeing any problems.
> On Dec 1, 2016, at 2:10 PM, r...@open-mpi.org wrote: > > ?? I see a bunch of commits that were all collected in a single PR from > Gilles yesterday - is that what you are referring to? > >> On Dec 1, 2016, at 1:58 PM, Howard Pritchard <hpprit...@gmail.com >> <mailto:hpprit...@gmail.com>> wrote: >> >> 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 >> <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 >> devel@lists.open-mpi.org <mailto:devel@lists.open-mpi.org> >> https://rfd.newmexicoconsortium.org/mailman/listinfo/devel >
_______________________________________________ devel mailing list devel@lists.open-mpi.org https://rfd.newmexicoconsortium.org/mailman/listinfo/devel
