Skip to content

Counting ops within subscripts now optional

Counting ops within subscripts is now optional. Default behavior matches previous behavior (which is to count them).

Merge request reports