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