From: Steven G. Johnson Date: Wed, 14 Sep 2016 20:17:16 +0000 (-0400) Subject: Merge pull request #84 from amroamroamro/patch-1 X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=170f352492e555c6ebd706b376c90b4f927587f3;p=nlopt.git Merge pull request #84 from amroamroamro/patch-1 Patch 1 --- 170f352492e555c6ebd706b376c90b4f927587f3