Skip to content

avoid using reserved identifiers

Ansgar Burchardt requested to merge ansgar/dune-common:feature/avoid-reserved-identifiers into master

Identifiers that include a double underscore or begin with an underscore followed by an uppercase letter are reserved.

Merge request reports