*** ../bash-5.0-patched/lib/readline/readline.c	2018-07-17 14:06:16.000000000 -0400
--- lib/readline/readline.c	2019-02-02 15:26:51.000000000 -0500
***************
*** 459,462 ****
--- 459,463 ----
    char *temp;
    HIST_ENTRY *entry;
+   int pos;
  
    RL_CHECK_SIGNALS ();
***************
*** 478,482 ****
  
    if (_rl_revert_all_at_newline)
!     _rl_revert_all_lines ();
  
    /* At any rate, it is highly likely that this line has an undo list.  Get
--- 479,488 ----
  
    if (_rl_revert_all_at_newline)
!     {
!       pos = where_history ();
!       using_history ();
!       _rl_revert_all_lines ();
!       history_set_pos (pos);
!     }
  
    /* At any rate, it is highly likely that this line has an undo list.  Get