On Tue, Jul 28, 2015 at 09:37:40AM +0100, Sandro Tosi wrote: > just a heads up that 'm going to backport nlopt to Wheezy. Could you then push your changes in the repo, i.e. on the wheezy-backport branch?