]> git.eshelyaron.com Git - emacs.git/commitdiff
Merge from origin/emacs-27
authorGlenn Morris <rgm@gnu.org>
Mon, 4 Jan 2021 15:50:26 +0000 (07:50 -0800)
committerGlenn Morris <rgm@gnu.org>
Mon, 4 Jan 2021 15:50:26 +0000 (07:50 -0800)
99cc0045eb (origin/emacs-27) Update two user option names in the Widg...

1  2 
doc/misc/widget.texi

Simple merge