?? 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> 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 > https://rfd.newmexicoconsortium.org/mailman/listinfo/devel
_______________________________________________ devel mailing list devel@lists.open-mpi.org https://rfd.newmexicoconsortium.org/mailman/listinfo/devel
