Skip to content

Remove divisions with constant denominator

vaclav requested to merge 1914-remove-divisions-with-constant-denominator into main

Closes #1914

Merge request reports