diff --git a/third_party/editline/repo b/third_party/editline/repo index 9fa05ba3841f3a..7633fbceeeeb53 160000 --- a/third_party/editline/repo +++ b/third_party/editline/repo @@ -1 +1 @@ -Subproject commit 9fa05ba3841f3a7776b0b3645a3a92f32259d988 +Subproject commit 7633fbceeeeb5376a1e24e0949aa9724cf4b0077