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

[GNU bug tracker automated control server]

Processing commands for address@hidden:

> unarchive 9789
Bug #9789 {Done: Lars Magne Ingebrigtsen <address@hidden>} [emacs] [patch] 
adding the option --without-compress-el to configure
Unarchived bug 9789
> forcemerge 9789 13211
bug#9789: [patch] adding the option --without-compress-el to configure
bug#13211: 24.2.90; Wishlist: configure option --without-compress-lisp
Forcibly Merged 9789 13211.

> severity 13211 wishlist
Bug #13211 {Done: Lars Magne Ingebrigtsen <address@hidden>} [emacs] 24.2.90; 
Wishlist: configure option --without-compress-lisp
Bug #9789 {Done: Lars Magne Ingebrigtsen <address@hidden>} [emacs] [patch] 
adding the option --without-compress-el to configure
Severity set to 'wishlist' from 'normal'

Severity set to 'wishlist' from 'normal'

>
End of message, stopping processing here.

Please contact address@hidden if you need assistance.

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