Comment 3 for bug 949044

Revision history for this message
Robie Basak (racb) wrote :

Leif has kindly debugged this and sent me this patch, and I have verified that it works and prepared a debdiff. Currently openmpi on ARM is completely broken, and this patch fixes my failure case and touches only ARM-specific code, so I think this is safe to apply. Will this need to wait until after beta 2 as we're in freeze right now?