Skip to content

Resolve "remove capitalization in IRIs"

Volker Hofmann requested to merge 122-remove-capitalization-in-iris into main

Closes #122 (closed)

Merge request reports