i pushed a bunch of commits yesterday, and that was not an accident.
you might be referring
but it has already been reverted 9 days ago with
On Friday, December 2, 2016, r...@open-mpi.org <r...@open-mpi.org> wrote:
> 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
> ?? 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
> 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.
> devel mailing list
devel mailing list