(gnus-version-number): Update to 7.1.0.13.

(gnus-compile-user-specs): New user option.

diff --git a/lisp/gnus.el b/lisp/gnus.el
index 700f3c8..36481d6 100644 (file)
--- a/lisp/gnus.el
+++ b/lisp/gnus.el
@@ -270,7 +270,7 @@ is restarted, and sometimes reloaded."
 (defconst gnus-product-name "Nana-gnus"
   "Product name of this version of gnus.")
 
-(defconst gnus-version-number "7.1.0.12"
+(defconst gnus-version-number "7.1.0.13"
   "Version number for this version of gnus.")
 
 (defconst gnus-version
@@ -1580,6 +1580,13 @@ If nil, no default charset is assumed when posting."
                        gnus-format-specs)
   "Gnus variables saved in the quick startup file.")
 
+(defcustom gnus-compile-user-specs t
+  "If non-nil, the user-defined format specs will be byte-compiled
+automatically.
+It has an effect on the values of `gnus-*-line-format-spec'."
+  :group 'gnus
+  :type 'boolean)
+
 (defvar gnus-newsrc-alist nil
   "Assoc list of read articles.
 gnus-newsrc-hashtb should be kept so that both hold the same information.")