Hi,

Please push openmpi 1.6.4. It's a bug fix release and this one is
building on arm. Amongst the various fixes, it's fixing some accidental
abi breaking on the f90 librarie (it's putting back the right lib
version number so would be annoying to release with wrong version).

Thanks,
Arnaud

Reply via email to