]> git.eshelyaron.com Git - emacs.git/commitdiff
Merge from origin/emacs-27
authorGlenn Morris <rgm@gnu.org>
Sat, 17 Oct 2020 16:48:54 +0000 (09:48 -0700)
committerGlenn Morris <rgm@gnu.org>
Sat, 17 Oct 2020 16:48:54 +0000 (09:48 -0700)
18c0e20bea (origin/emacs-27) Improve documentation of 'Info-hide-note...


Trivial merge