]> git.eshelyaron.com Git - emacs.git/commitdiff
Merge remote-tracking branch 'origin/scratch/pkg' into scratch/pkg
authorGerd Möllmann <gerd@gnu.org>
Tue, 8 Aug 2023 13:44:43 +0000 (15:44 +0200)
committerGerd Möllmann <gerd@gnu.org>
Tue, 8 Aug 2023 13:44:43 +0000 (15:44 +0200)

Trivial merge