From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 23 Feb 2019 11:09:35 +0000 (+0000)
Subject: Update to upstream 2.3+252-g8b3cb5a
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=e939c6904fbd4b14b0f9f0667a3ad7943d5d30cf;p=nlopt.git

Update to upstream 2.3+252-g8b3cb5a

[git-debrebase anchor: new upstream 2.3+252-g8b3cb5a, merge]
---

e939c6904fbd4b14b0f9f0667a3ad7943d5d30cf