opam 'maintainer' is the package maintainer, not the project maintainer

cedf0bb5 · Ralf Jung · 6bc8f001 · cedf0bb5
Commit cedf0bb5 authored 5 years ago by Ralf Jung
--- a/opam
+++ b/opam
 opam-version: "2.0"
 name: "coq-iris-string-ident"
-maintainer: "Tej Chajed <tchajed@mit.edu>"
+maintainer: "Ralf Jung <jung@mpi-sws.org>"
 authors: "Tej Chajed <tchajed@mit.edu>"
 license: "BSD"
 homepage: "https://gitlab.mpi-sws.org/iris/string-ident"