Update doc/sphinx/changes.rst
Update doc/sphinx/changes.rst

Co-authored-by: Ali Caglayan <65ee156158e653ab4f50e78f3cb9f72c59c711f7@gmail.com>
Zimmi48/coq,ejgallego/coq,coq/coq,ejgallego/coq,SkySkimmer/coq,Zimmi48/coq,coq/coq,coq/coq,coq/coq,Zimmi48/coq,ejgallego/coq,SkySkimmer/coq,SkySkimmer/coq,ejgallego/coq,SkySkimmer/coq,Zimmi48/coq