history undo bug

[gregrwm]

Configuration Information [Automatically generated, do not change]:
Machine: i686
OS: linux-gnu
Compiler: gcc
Compilation CFLAGS:  -DPROGRAM='bash' -DCONF_HOSTTYPE='i686'
-DCONF_OSTYPE='linux-gnu' -DCONF_MACHTYPE='i686-pc-linux-gnu'
-DCONF_VENDOR='pc' -DLOCALEDIR='/usr/share/loc
uname output: Linux jocur 3.11.0-12-generic #19-Ubuntu SMP Wed Oct 9
16:12:00 UTC 2013 i686 athlon i686 GNU/Linux
Machine Type: i686-pc-linux-gnu

Bash Version: 4.2
Patch Level: 45
Release Status: release

Description:  change a history line, undo the change, the line still shows
as changed in history listing
Repeat-By:
   use uparrow to return to a prior command in bash history
   make a change
   use downarrow to leave the changed history line
   use uparrow to return to the changed history line
   use ^_ to undo the change
   use downarrow to leave the restored history line
   use uparrow to return to the restored history line, and/or produce a
history listing
   observe that the change is "un-restored", and the mark-modified-lines
asterisk is not displayed