Bug#790735: openmprtl: add MIPS support

[Dejan Latinovic]

Yes, please do so.

Regards,
Dejan

________________________________________
From: Sylvestre Ledru [sylvestre at debian.org]
Sent: Wednesday, September 16, 2015 2:40 PM
To: Dejan Latinovic; 790735 at bugs.debian.org
Subject: Re: Bug#790735: openmprtl: add MIPS support

Le 01/07/2015 11:55, Dejan Latinovic a écrit :

> I had created patch that contains support for MIPS:
> openmprtl_add-mips-support.patch
Thanks for the patch. It is pending in NEW.
Do you want me to forward your work upstream?

Cheers,
S