[debbugs-tracker] Processed: 17081 is done

[GNU bug tracker automated control server]

Processing commands for address@hidden:

> tags 17081 + patch
Bug #17081 [grep] [PATCH] dfa: avoid undefined behavior
Ignoring request to alter tags of bug #17081 to the same tags previously set
> close 17081
bug#17081: [PATCH] dfa: avoid undefined behavior
bug closed, send any further explanations to
address@hidden and Paul Eggert <address@hidden>

> thanks
Stopping processing here.

Please contact address@hidden if you need assistance.

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