]> git.eshelyaron.com Git - emacs.git/commitdiff
Merge branch 'master' into 520
authorJohn Wiegley <johnw@newartisans.com>
Wed, 29 Nov 2017 15:57:29 +0000 (07:57 -0800)
committerGitHub <noreply@github.com>
Wed, 29 Nov 2017 15:57:29 +0000 (07:57 -0800)

Trivial merge