[debbugs-tracker] Processed: control message for bug #14243

[GNU bug tracker automated control server]

Processing commands for address@hidden:

> tags 14243 notabug
Bug #14243 [emacs] 24.3; Shell mode file name expansion case-sensitive on Mac 
OS X
Bug #14507 [emacs] 24.3; TAB in shell mode never ignores case, even though I 
want it to
Added tag(s) notabug.
Added tag(s) notabug.
> close 14243
bug#14243: 24.3; Shell mode file name expansion case-sensitive on Mac OS X
bug#14507: 24.3; TAB in shell mode never ignores case, even though I want it to
bug closed, send any further explanations to
address@hidden and address@hidden

>
End of message, stopping processing here.

Please contact address@hidden if you need assistance.

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