{"shas":[["9ca4434af881939c78e18a72ad984a15d7a8970c","265e038f42cb110bf6bbac4326318288128da91e@laas.fr","Fix bug on Romeo caused by previous cleanup.","Duong Dang"]],"ref":"refs/heads/master","size":1,"head":"9ca4434af881939c78e18a72ad984a15d7a8970c","push_id":43634866}