From: Steven G. Johnson Date: Sat, 11 Apr 2015 13:36:05 +0000 (-0400) Subject: Merge branch 'master' of https://github.com/stevengj/nlopt X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=05b7e9df233120d4e1fa14d5517bc53c8592e3fd;p=nlopt.git Merge branch 'master' of https://github.com/stevengj/nlopt --- 05b7e9df233120d4e1fa14d5517bc53c8592e3fd