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