Commit 8832de4f authored by Michael Albinus's avatar Michael Albinus

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

parents b2497ef6 655badc3
Pipeline #539 failed with stage
in 51 minutes and 53 seconds