Please read this!

Before opening a new issue, make sure to [search for keywords in the issues
tracker](https://labs.etsi.org/rep/ttcn3/lang/issues?label_name%5B%5D=type::editorial)
and verify the issue you're about to submit isn't a duplicate.

Please remove this notice if you're confident your issue isn't a duplicate.

Bellow template is a suggestion for a editorial report. Feel free to modify it as you
see fit.

------

### General Information

Mantis ID/URL:

Clauses:

Affiliation:


### Description

What is the editorial issue you found?

/label ~type::editorial
