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

[GNU bug tracker automated control server]

Processing commands for address@hidden:

> close 12963 24.1
bug#12963: Fwd: Small modification to sh-script, to cover unsupported case label
bug marked as fixed in version 24.1, 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/