Commit b8f9eb6d authored Oct 09, 2023 by wernersa

Merge branch 'draft/TS103707/adding_a_format_for_identifiers' into 'cr/103707/0011'

Draft/ts103707/adding a format for identifiers

See merge request !109