Skip to content

GitLab

I
Iris
Closed
Opened by Robbert@robbertkrebbersMaintainer
Report abuse New issue

Fix name duplication `elem_of_list_singleton` in Iris and std++

See !403 (comment 47923)

Edited by Ralf Jung