*** ../readline-8.0-patched/misc.c	2017-07-07 17:30:12.000000000 -0400
--- misc.c	2019-05-16 11:43:46.000000000 -0400
***************
*** 577,580 ****
--- 590,594 ----
  {
    HIST_ENTRY *old_temp, *temp;
+   int had_saved_line;
  
    if (count < 0)
***************
*** 589,592 ****
--- 603,607 ----
  
    /* If we don't have a line saved, then save this one. */
+   had_saved_line = _rl_saved_line_for_history != 0;
    rl_maybe_save_line ();
  
***************
*** 612,616 ****
    if (temp == 0)
      {
!       rl_maybe_unsave_line ();
        rl_ding ();
      }
--- 627,632 ----
    if (temp == 0)
      {
!       if (had_saved_line == 0)
!         _rl_free_saved_history_line ();
        rl_ding ();
      }