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
!142
Merged
Opened
Apr 09, 2020
by
Michael Sammler
@msammler
Maintainer
2 of 2 tasks completed
2/2 tasks
Options
Added select and select_revert tactics
Overview
48
Commits
1
Changes
2
As discussed with
@robbertkrebbers
open points:
Names of the tactics (What are the names in Mtac?
@janno
)
Changelog entry?
Edited
Apr 10, 2020
by
Michael Sammler
👍
0
👎
0