]> git.eshelyaron.com Git - emacs.git/commitdiff
Merge remote-tracking branch 'savannah/master' into HEAD
authorAndrea Corallo <akrl@sdf.org>
Mon, 25 May 2020 14:56:25 +0000 (15:56 +0100)
committerAndrea Corallo <akrl@sdf.org>
Mon, 25 May 2020 14:56:25 +0000 (15:56 +0100)

Trivial merge