On Fri, Dec 10, 2021 at 3:45 PM Richard W.M. Jones <rjones(a)redhat.com> wrote:
On Fri, Dec 10, 2021 at 10:53:23AM -0800, Alan Dunn wrote:
> alt-ergo
> coq
> gappa
> ocaml-lablgtk
> ocaml-mlgmpidl
> ocaml-ocamlgraph
You can reassign these to me.
Comaintainers definitely welcome. Especially for coq which is a
daunting package.
I've been the de facto maintainer for alt-ergo, coq, gappa, and
ocaml-ocamlgraph for quite awhile already, and I'm happy to continue
maintaining them. I actually prompted Alan to send that email, with
the intent of stepping into the primary maintainer role myself. But
I'm happy to have your help. :-)
--
Jerry James
http://www.jamezone.org/