Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Iris
Iris
Issues
#309
Closed
Open
Issue created
Apr 07, 2020
by
Robbert Krebbers
@robbertkrebbers
Maintainer
Fix name duplication `elem_of_list_singleton` in Iris and std++
See
!403 (comment 47923)
Edited
Apr 07, 2020
by
Ralf Jung