fwiw, the major change is in
and i did spend quite some time testing it.
if you are facing some unexpected issues with the latest master, you might
try to revert this locally and see if it helps
On Friday, December 2, 2016, Gilles Gouaillardet <
> i pushed a bunch of commits yesterday, and that was not an accident.
> you might be referring https://github.com/open-mpi/ompi/commit/
> cb55c88a8b7817d5891ff06a447ea190b0e77479 but it has already been reverted
> 9 days ago with https://github.com/open-mpi/ompi/commit/
> On Friday, December 2, 2016, r...@open-mpi.org
>> 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> 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) into your master or
>> rebase off
>> of it until we get some clarity on what has happened.
>> devel mailing list
devel mailing list