Closed hkaiser closed 4 years ago
Fixes #1260
Merging despite problem in traverse_ast. This will be fixed separately.
Fixes #1260