Remove optional semantics from identifier #3

Merged
jeanlemotan merged 1 commits from javier.martin/remove_optional_semantics_from_identifier into main 2024-07-04 15:54:23 +02:00

1 Commits

Author SHA1 Message Date
Javi f5c6b75621 Remove optional semantics from identifier 2024-07-04 10:53:37 +02:00