Merge branch 'master' of git.savannah.gnu.org:/srv/git/emacs

1 job for master in 62 minutes and 31 seconds (queued for 1 second)
Status Job ID Name Coverage
  Test
passed #3517
test-all

01:02:31