Skip to content

rename u?frac_op/valid' to remove the final '

Ralf Jung requested to merge ralf/frac-op-valid into master

Follow-up to !629 (merged). We should probably wait at least a day with merging this to avoid confusion due to reusing existing names.

Merge request reports