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
>> <mailto: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.
>> devel mailing list
>> email@example.com <mailto:firstname.lastname@example.org>
devel mailing list