diff --git a/third_party/editline/repo b/third_party/editline/repo index 425584840c..ac81ca6d4b 160000 --- a/third_party/editline/repo +++ b/third_party/editline/repo @@ -1 +1 @@ -Subproject commit 425584840c09f83bb8fedbf76b599d3a917621ba +Subproject commit ac81ca6d4b15b5da64c6f8bfb6026fdb1c7c3687