[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[debbugs-tracker] Processed: control message for bug 7177

From: GNU bug Tracking System
Subject: [debbugs-tracker] Processed: control message for bug 7177
Date: Tue, 13 Mar 2012 14:44:01 -0400

Processing commands for address@hidden:

> forcemerge 5029 7177
bug#5029: Give global minor mode some help
bug#7177: Global minor modes might tell there is a variable in the doc string
Forcibly Merged 5029 7177.

End of message, stopping processing here.

Please contact address@hidden if you need assistance.

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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]