Skip to content

Merge pull request #8779 from tautschnig/fix-8144-empty-interval #7457

Merge pull request #8779 from tautschnig/fix-8144-empty-interval

Merge pull request #8779 from tautschnig/fix-8144-empty-interval #7457