Processed: tags 758438 + pending

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> tags 758438 + pending
Bug #758438 [gmp] gmp: FTBFS on mips: configure: error: ABI=64 is not among the following valid choices: o32
Added tag(s) pending.
>
End of message, stopping processing here.

Please contact me if you need assistance.
-- 
758438: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=758438
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems