bug#4712: File encoding

[Stefan Monnier]

I believe the patch below fixed the problem,


        Stefan


--- mule-cmds.el.~1.375.~       2009-10-15 18:22:51.000000000 -0400
+++ mule-cmds.el        2009-10-16 23:56:10.000000000 -0400
@@ -889,13 +889,13 @@
                  default-coding-system))
 
     (if (and auto-cs (not no-other-defaults))
-       ;; If the file has a coding cookie, try to use it before anything
-       ;; else (i.e. before default-coding-system which will typically come
-       ;; from file-coding-system-alist).
+       ;; If the file has a coding cookie, use it regardless of any
+       ;; other setting.
        (let ((base (coding-system-base auto-cs)))
          (or (memq base '(nil undecided))
-             (rassq base default-coding-system)
-             (push (cons auto-cs base) default-coding-system))))
+              (progn
+                (setq default-coding-system (list (cons auto-cs base)))
+                (setq no-other-defaults t)))))
 
     (unless no-other-defaults
       ;; If buffer-file-coding-system is not nil nor undecided, append it