ebf4ce6d72a3bdf258ad6e54434002af8ead1f18		branch 'master' of https://github.com/stevengj/nlopt
