{"shas":[["18f2209bcadf20735f79783f8a285ffc22b64a05","f18698f6efddd8121c8b448695c322dae7ee41fc@sssup.it","If the getter returns void, an Undefined should be created","Alessandro Pignotti"]],"ref":"refs/heads/master","size":1,"head":"18f2209bcadf20735f79783f8a285ffc22b64a05","push_id":34835251}