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