Commit fad7bbcf authored by Ralf Jung's avatar Ralf Jung

Merge branch 'robbert/seq_notation_space' into 'master'

Remove space before `;;` in format directive.

See merge request !336
parents 60647cc2 f529c4f4
Pipeline #21194 passed with stage
in 17 minutes and 6 seconds