Skip to content

Remove unnecessary ns.follow in simplify_json_expr#3736

Merged
tautschnig merged 1 commit intodiffblue:developfrom
tautschnig:simp-json-remove-follow
Jan 11, 2019

Commits

Commits on Jan 10, 2019