[Emacs-bug-tracker] Processed: control message for bug #8138

[GNU bug Tracking System]

Processing commands for address@hidden:

> tags 8138 fixed
Bug #8138 [emacs] Please mention `case-fold-search' in the doc string for 
`re-search-forward' etc
Added tag(s) fixed.
> close 8138 24.1
bug#8138: Please mention `case-fold-search' in the doc string for 
`re-search-forward' etc
bug marked as fixed in version 24.1, send any further explanations to
address@hidden and Lennart Borgman <address@hidden>

>
End of message, stopping processing here.

Please contact address@hidden if you need assistance.

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