{"head":"662a809aa0d847f34377b94cd20db674d11996d0","size":1,"push_id":45576099,"shas":[["662a809aa0d847f34377b94cd20db674d11996d0","2a2ee674734e8f436ab41ce851c2253d6299df86@gmx.de","NEW processing of def-expr in VarFunctor in progress","Jan Bernitt"]],"ref":"refs/heads/master"}