{"author":"chenyu","author_email":"chenyu@fastmail.com","author_time":1704319345,"commit_time":1704319345,"committer":"GitHub","committer_email":"noreply@github.com","hash":"1ac4d2786913aa9d2909a1447caebeb8d41f855d","message":"remove VariableOrNum from Node.substitute arg (#2995)\n\nhaving NumNode in var_vals does not change the substitute output","parents":["65dc3700b730c7e5970d159d3823c1d25f4c152d"],"tree_hash":"5f1310ff8c4fc6058fed68ca611070f13e5074bc"}