Skip to content

Resolve "context closure for short rules"

waldmann requested to merge 518-context-closure-for-short-rules into master

Closes #518

Merge request reports