[debbugs-tracker] Processed (with 1 errors): Re: The test logs lost their title

[GNU bug tracker automated control server]

Processing commands for address@hidden:

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

> close 11814
bug#11814: The test logs lost their title
bug closed, send any further explanations to
address@hidden and Akim Demaille <address@hidden>

> stop
Stopping processing here.

Please contact address@hidden if you need assistance.

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