Processed: !

Debian Bug Tracking System owner at bugs.debian.org
Mon Dec 10 09:18:08 UTC 2012


Processing commands for control at bugs.debian.org:

> merge 693437 682273
Bug #693437 [libnlopt0] fresh upstream (2.3) is available
Bug #682273 [libnlopt0] libnlopt0: new upstream release (2.3)
Marked as found in versions nlopt/2.2.4+dfsg-2.
Merged 682273 693437
>
End of message, stopping processing here.

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



More information about the debian-science-maintainers mailing list