{"shas":[["371fe4cddf52d1afd2334abdb4025baedcfadf39","77c7aa42d1828c0b03007b5d6d250e60ebee9e16@gmail.com","Changed Map.foldrWithKey to deprecated Map.foldWithKey for backwards compatiblity.","David Mortensen"]],"ref":"refs/heads/master","size":1,"head":"371fe4cddf52d1afd2334abdb4025baedcfadf39","push_id":32874841}