Merge pull request #7697 from salzmdan/master
authorHannu Nyman <redacted>
Wed, 26 Dec 2018 17:47:45 +0000 (19:47 +0200)
committerGitHub <redacted>
Wed, 26 Dec 2018 17:47:45 +0000 (19:47 +0200)
libedit: update to 20181209-3.1


Trivial merge
git clone https://git.99rst.org/PROJECT