Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2019-01-22T17:57:49Z

Verilog-mode does not override the C-xC-s keys so it's extremely unlikely it breaks this. Furthermore I'm using 25 with no problems.

You must have something in your .emacs that is breaking this.

Do M-X describe-key [RET] C-x C-s to debug what that runs.

Of course if you find something wrong with verilog-mode be sure to post it.

Original Redmine Comment
Author Name: Don Allingham
Original Date: 2019-01-22T22:21:20Z

The problem seems to be with some verilog-mode-hook additions. These worked in older emacs versions, but longer appear to work. I've removed these hooks, and the problem as gone away.

For the record, the hooks were:

;;;
;;; Remove tabs from a Verilog file when saving
;;; 
(add-hook 'verilog-mode-hook 
	  '(lambda () (add-hook
		       'local-write-file-hooks 
		       (lambda() (untabify (point-min) (point-max))))))

;;;
;;; Remove trailing white space from Verilog files when saving
;;;
(add-hook 'verilog-mode-hook
	  (lambda ()
	    (add-hook 'local-write-file-hooks
		      '(lambda()
			 (save-excursion
			  (delete-trailing-whitespace))))))

;; Any files in verilog mode should have their keywords colorized
(add-hook 'verilog-mode-hook '(lambda () (font-lock-mode 1)))

use this one

(add-hook 'verilog-mode-hook '(lambda () (add-hook 'write-contents-hooks (lambda () (progn (untabify (point-min) (point-max)) (save-excursion (delete-trailing-whitespace)))) nil t)))