{"shas":[["72f72ec45bc83958a18dcdbd3b8f945224a24380","6890fa1d738eb4a06cf1d2634a31d4aac12540b7@mattam.org","Fix merge.","Matthieu Sozeau"]],"repo":"mattam82/Coq-misc","actor":"mattam82","ref":"refs/heads/trunk","size":1,"head":"72f72ec45bc83958a18dcdbd3b8f945224a24380","actor_gravatar":"0b6cc39c347ca966c17d771e42379600","push_id":28569565}