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

Reply via email to