Skip to content

Merge recent pull requests

Stephan requested to merge github/fork/yngwi/merge into master

Created by: yngwi

Additionally removes the red "beta" text and changes the breadcrumb to use cei:idno/@id

Merge request reports