FWIW: I just committed the fix to master
> On Nov 14, 2014, at 9:24 AM, Jeff Squyres (jsquyres)
> wrote:
>
> Todd K. just reported the same thing:
> https://github.com/open-mpi/ompi/issues/272
>
> Siegmar: do you have a github ID? If so, we can effectively "CC" you on
> these kinds of tick
Todd K. just reported the same thing:
https://github.com/open-mpi/ompi/issues/272
Siegmar: do you have a github ID? If so, we can effectively "CC" you on these
kinds of tickets, like we used to do with Trac.
On Nov 14, 2014, at 12:04 PM, Siegmar Gross
wrote:
> Hi,
>
> today I tried to ins