K 10 svn:author V 3 jrm K 8 svn:date V 27 2020-07-16T03:47:32.762228Z K 7 svn:log V 56 editors/emacs-devel: Update to 20200715 commit, 85eaa83 END