[debbugs-tracker] Processed: control message for bug 8027

[GNU bug Tracking System]

Processing commands for address@hidden:

> unarchive 8027
Bug #8027 {Done: Glenn Morris <address@hidden>} [emacs] 23.2; shell problem 
with $( and !!
Bug #1795 {Done: Glenn Morris <address@hidden>} [emacs] shell problem
Bug #5007 {Done: Glenn Morris <address@hidden>} [emacs] 23.1; comint history 
doesn't handle multi-character delimiters
Unarchived bug 8027
Unarchived bug 1795
Unarchived bug 5007
> notfixed 8027 24.1
Bug #8027 {Done: Glenn Morris <address@hidden>} [emacs] 23.2; shell problem 
with $( and !!
Bug #1795 {Done: Glenn Morris <address@hidden>} [emacs] shell problem
Bug #5007 {Done: Glenn Morris <address@hidden>} [emacs] 23.1; comint history 
doesn't handle multi-character delimiters
bug No longer marked as fixed in versions 24.1.
bug No longer marked as fixed in versions 24.1.
bug No longer marked as fixed in versions 24.1.
> reopen 8027
Bug #8027 {Done: Glenn Morris <address@hidden>} [emacs] 23.2; shell problem 
with $( and !!
Bug #1795 {Done: Glenn Morris <address@hidden>} [emacs] shell problem
Bug #5007 {Done: Glenn Morris <address@hidden>} [emacs] 23.1; comint history 
doesn't handle multi-character delimiters
>
End of message, stopping processing here.

Please contact address@hidden if you need assistance.

GNU bugs database, http://debbugs.gnu.org/