I think we can remove the header, we don't use it anymore. I commented on the issue.
George. On Thu, Sep 12, 2019 at 5:23 PM Geoffrey Paulsen via devel < devel@lists.open-mpi.org> wrote: > Does anyone have any thoughts about the cache-alignment issue in osc/sm, > reported in https://github.com/open-mpi/ompi/issues/6950? > > _______________________________________________ > devel mailing list > devel@lists.open-mpi.org > https://lists.open-mpi.org/mailman/listinfo/devel
_______________________________________________ devel mailing list devel@lists.open-mpi.org https://lists.open-mpi.org/mailman/listinfo/devel