Skip to content

Making prefix mapping less strict, fixes #702#761

Merged
cmungall merged 10 commits intomainfrom issue-760Jun 5, 2024