diff --git a/lean4-mode.el b/lean4-mode.el index 4220e3d..80b8066 100644 --- a/lean4-mode.el +++ b/lean4-mode.el @@ -7,7 +7,7 @@ ;; Soonho Kong ;; Gabriel Ebner ;; Sebastian Ullrich -;; Maintainer: Sebastian Ullrich +;; Maintainer: Yury G. Kudryashov ;; Created: Jan 09, 2014 ;; Keywords: languages ;; Package-Requires: ((emacs "27.1") (dash "2.18.0") (flycheck "30") (magit-section "2.90.1") (lsp-mode "8.0.0"))