K 10 svn:author V 3 jrm K 8 svn:date V 27 2018-06-12T18:33:35.697916Z K 7 svn:log V 66 UPDATING: Document name change of editors/emacs-devel@nox package END