Skip to content
Snippets Groups Projects
Commit 85dc15f6 authored by Frederik Hennig's avatar Frederik Hennig
Browse files

Merge branch 'bauerd/basename' into 'v2.0-dev'

Expose method to retrieve the original name of a duplicated symbol

See merge request !440
parents 131fa9ca 8d860b26
Pipeline #72041 passed with stages
in 4 minutes and 2 seconds