Closed Edenhofer closed 7 months ago
Resolves #9 .
@mreineck and @roth-jakob Can you review this patch?
Looks good to me! Just a tiny nit: "Identifyer" -> "Identifier"
Jakob approved verbally :)
Resolves #9 .