On Apr 10, 2009, at 6:10 PM, Steve Kargl wrote:
> > I'll fix. I don't know if it'll make the cut for 1.3.2 or not.
> I applied your patch to openmpi-1.3.2a1r20942. It built fine
> and the running my test indicate that it fixes the problem.