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

[GNU bug tracker automated control server]

Processing commands for address@hidden:

> tags 17507 notabug
Bug #17507 [emacs] Documentation for `add-text-property' and relatives
Added tag(s) notabug.
> close 17507
bug#17507: Documentation for `add-text-property' and relatives
bug closed, send any further explanations to
address@hidden and Eli Barzilay <address@hidden>

> quit
Stopping processing here.

Please contact address@hidden if you need assistance.

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