From: Steven G. Johnson <stevenj@alum.mit.edu>
Date: Thu, 26 Jul 2018 15:47:40 +0000 (-0400)
Subject: Merge branch 'master' of git://github.com/stevengj/nlopt
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=58444833fdafdfc2046f8fdfdc5a40bdb486b017;p=nlopt.git

Merge branch 'master' of git://github.com/stevengj/nlopt
---

58444833fdafdfc2046f8fdfdc5a40bdb486b017