[debbugs-tracker] Processed (with 1 errors): your mail

[GNU bug tracker automated control server]

Processing commands for address@hidden:

> tags 13888 +fixed
Unknown tag/s: +fixed.
Recognized are: patch wontfix moreinfo unreproducible fixed notabug pending 
help security confirmed easy.

> close 13888
bug#13888: patch for python indentation
bug closed, send any further explanations to
address@hidden and Aaron Ecay <address@hidden>

>
End of message, stopping processing here.

Please contact address@hidden if you need assistance.

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