Skip to content

Use localIds instead of globalIds

Ansgar Burchardt requested to merge bugfix/use-local-ids into master

Closes #22.

Merge request reports