{"pages":[{"page_name":"Next-Coq-Working-Group","title":"Next Coq Working Group","summary":null,"action":"edited","sha":"af38262cb3394e684dff8f1b2e86872303cd53a7","html_url":"https://github.com/coq/coq/wiki/Next-Coq-Working-Group"}]}
{"actor":{"display_login":"mattam82"}}