{"shas":[["ae4a2c45c95d29766aa3c91375dc171f98207264","7f8e863a8aeea25474a62c01af530eabbbbea017@in.tum.de","Deleted old scenarii files using deprecated middleware","Michael Karg"]],"ref":"refs/heads/adapto_0.1","size":1,"head":"ae4a2c45c95d29766aa3c91375dc171f98207264","push_id":35120362}