{"head":"4e19ac42cb522a3af83df0a5929134ec7fbf9a54","size":1,"push_id":44486754,"shas":[["4e19ac42cb522a3af83df0a5929134ec7fbf9a54","265f5a7c5abefc35bd9902186e052fee4e3c583b@telenet.be","* Maybe instead of 'RoundedPolygon' use 'CurvedPolygon'... for now, that is\n  the best name I have found using Google...","Bart Vandewoestyne"]],"ref":"refs/heads/master"}