Skip to content

Eliminate global variable used_operations

Closes #452 (closed)

Merge request reports