[debbugs-tracker] Processed: Flex header files

[GNU bug tracker automated control server]

Processing commands for address@hidden:

> retitle 8844 Flex header files
Bug #8844 [automake] flex header file
Bug #9933 [automake] ylwrap bug
Changed bug title to 'Flex header files' from 'flex header file'
Changed bug title to 'Flex header files' from 'ylwrap bug'
> retitle 9933 Flex header files
Bug #9933 [automake] Flex header files
Bug #8844 [automake] Flex header files
Ignoring request to change the title of bug#9933 to the same title
Ignoring request to change the title of bug#8844 to the same title
> close 8844
bug#8844: Flex header files
bug#9933: Flex header files
bug closed, send any further explanations to
address@hidden and Stefano Lattarini <address@hidden>

> close 9933
bug#9933: Flex header files
bug is already closed, cannot re-close.

> thanks
Stopping processing here.

Please contact address@hidden if you need assistance.

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