]> git.eshelyaron.com Git - emacs.git/commitdiff
Merge branch 'master' of git.savannah.gnu.org:/srv/git/emacs
authorEli Zaretskii <eliz@gnu.org>
Sat, 22 Jul 2023 12:56:50 +0000 (15:56 +0300)
committerEli Zaretskii <eliz@gnu.org>
Sat, 22 Jul 2023 12:56:50 +0000 (15:56 +0300)

Trivial merge