Specify Yury as current maintainer

Fixes issue #74 "Correct specification of current maintainer".
leanprover-community · Nov 16, 2024 · d84c3c1 · d84c3c1
1 parent 13ca9d3
commit d84c3c1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lean4-mode.el b/lean4-mode.el
@@ -7,7 +7,7 @@
 ;;         Soonho Kong       <[email protected]>
 ;;         Gabriel Ebner     <[email protected]>
 ;;         Sebastian Ullrich <[email protected]>
-;; Maintainer: Sebastian Ullrich <[email protected]>
+;; Maintainer: Yury G. Kudryashov <[email protected]>
 ;; 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"))