adjust new_types (!563) · Merge requests · sac-group / sac2c · GitLab

The source project of this merge request has been removed.

Merged Benedikt Rips requested to merge (removed):index-types into index-types Jan 20, 2026