]> git.eshelyaron.com Git - emacs.git/commitdiff
Merge branch 'master' of git.sv.gnu.org:/srv/git/emacs
authorMartin Rudalics <rudalics@gmx.at>
Fri, 11 Oct 2019 07:27:55 +0000 (09:27 +0200)
committerMartin Rudalics <rudalics@gmx.at>
Fri, 11 Oct 2019 07:27:55 +0000 (09:27 +0200)

Trivial merge