+2019-12-20 Tom Tromey <tom@tromey.com>
+
+ PR tui/23619:
+ * tui/tui-io.c (tui_rl_saved_prompt): Remove.
+ (tui_redisplay_readline): Use rl_display_prompt.
+ (tui_prep_terminal): Update.
+
2019-12-19 Christian Biesinger <cbiesinger@google.com>
* configure: Regenerate.