severity 717822 important retitle 717822 RFS: nlopt/2.3+dfsg-2 [RC] thanks The package was updated (closes: #718054): https://mentors.debian.net/package/nlopt http://mentors.debian.net/debian/pool/main/n/nlopt/nlopt_2.3+dfsg-2.dsc
-- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
