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

[GNU bug tracker automated control server]

Processing commands for address@hidden:

> unarchive 19731
Bug #19731 {Done: Glenn Morris <address@hidden>} [emacs] 24.4; /dev/null is 
deleted by tramp-sh.el
Unarchived bug 19731
> fixed 19731 25.1
Bug #19731 {Done: Glenn Morris <address@hidden>} [emacs] 24.4; /dev/null is 
deleted by tramp-sh.el
bug Marked as fixed in versions 25.1.
> notfixed 19731 24.5
Bug #19731 {Done: Glenn Morris <address@hidden>} [emacs] 24.4; /dev/null is 
deleted by tramp-sh.el
bug No longer marked as fixed in versions 24.5.
>
End of message, stopping processing here.

Please contact address@hidden if you need assistance.

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