Processing commands for [email protected]: > severity 741607 wishlist Bug #741607 [gmp] please merge GMP's upstream licensing changes Severity set to 'wishlist' from 'critical' > thanks Stopping processing here.
Please contact me if you need assistance. -- 741607: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=741607 Debian Bug Tracking System Contact [email protected] with problems -- debian-science-maintainers mailing list [email protected] http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers
