Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
10
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Open sidebar
Iris
stdpp
Merge Requests
!220
Merged
Opened
Jan 20, 2021
by
Robbert Krebbers
@robbertkrebbers
Maintainer
Options
Rename instance `finmap_lookup_total` → `map_lookup_total`.
Overview
2
Commits
1
Changes
1
This this is an instance, not a definition, it
should
not affect anyone.
👍
0
👎
0