[Pkg-openmpi-maintainers] Bug#732027: openmpi: support for mips, mipsel, mips64, and mips64el

[Jurica Stanojkovic]

Feel free to send patches upstream.

Sure, no problem, I will be sending debian/ patch next time.

Thanks!
Jurica

________________________________________
From: Sylvestre Ledru [sylvestre at debian.org]
Sent: 12 December 2013 18:04
To: Jurica Stanojkovic; 732027 at bugs.debian.org
Subject: Re: Bug#732027: openmpi: support for mips, mipsel, mips64, and mips64el

As you wish :)
I can do it for you if you prefer (I am in touch with them).

Just a minor comment, next time, please provide a patch also for the
change in debian/ :)

Sylvestre
PS: I am build the package with your changes.