Merge pull request #11988 from Payne-X6/libedit
authorRosen Penev <rosenp@gmail.com>
Tue, 28 Apr 2020 17:17:08 +0000 (10:17 -0700)
committerGitHub <noreply@github.com>
Tue, 28 Apr 2020 17:17:08 +0000 (10:17 -0700)
libedit: update to version 20193112-3.1


Trivial merge