{"shas":[["fec4e4629898e9785b7e25c1df4cb56c2940a124","c631b0c2139d043e31c262e2f70688859f858d33@ntc.zcu.cz","easier_terms: update dw_point_lspring for new Term.evaluate()","Robert Cimrman"]],"ref":"refs/heads/easier_terms","size":1,"head":"fec4e4629898e9785b7e25c1df4cb56c2940a124","push_id":35262278}