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, [email protected] 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 <[email protected] >> <mailto:[email protected]>> 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 >> [email protected] <mailto:[email protected]> >> https://rfd.newmexicoconsortium.org/mailman/listinfo/devel >
_______________________________________________ devel mailing list [email protected] https://rfd.newmexicoconsortium.org/mailman/listinfo/devel
