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


Trivial merge