{"head":"b659d5839be75ade66c4196c6e8c2217db9cdf84","size":1,"push_id":45320954,"shas":[["b659d5839be75ade66c4196c6e8c2217db9cdf84","fe99edacac0ed22b474e24be99fc4ca33521f91f@googlemail.com","back to 1.2Ghz max","Michael Weingärtner"]],"ref":"refs/heads/master"}