Self-credit for the work done.
Self-credit for the work done.

I reused the sentence from the version 8.7 credits.
It wasn't initially decided like this but it looks like
I'm the de facto maintainer for this release as well.

JasonGross/coq,Zimmi48/coq,ppedrot/coq,gares/coq,ejgallego/coq,gares/coq,coq/coq,SkySkimmer/coq,JasonGross/coq,gares/coq,SkySkimmer/coq,maximedenes/coq,ppedrot/coq,coq/coq,silene/coq,maximedenes/coq,SkySkimmer/coq,SkySkimmer/coq,JasonGross/coq,ejgallego/coq,coq/coq,Zimmi48/coq,ejgallego/coq,ppedrot/coq,coq/coq,Matafou/coq,Zimmi48/coq,JasonGross/coq,ejgallego/coq,silene/coq,gares/coq,Matafou/coq,maximedenes/coq,Zimmi48/coq,ppedrot/coq,maximedenes/coq,silene/coq,maximedenes/coq,ppedrot/coq,Matafou/coq,gares/coq