Merge pull request #7697 from salzmdan/master
authorHannu Nyman <hannu.nyman@iki.fi>
Wed, 26 Dec 2018 17:47:45 +0000 (19:47 +0200)
committerGitHub <noreply@github.com>
Wed, 26 Dec 2018 17:47:45 +0000 (19:47 +0200)
commitde766b2cd6e09d655592be90f78a87ac5eacb27f
tree5d48b8acc1c4d2fbaa9b39befdcb06412f7f8ddd
parent5a8af6e28158ab75e7dd7049f38e1d64236a701a
parentd502a4c5d624d0b3189ef5b8231d0e8c29f97c8e
Merge pull request #7697 from salzmdan/master

libedit: update to 20181209-3.1