Skip to content

GitLab

S
stdpp
Merged
Opened by Michael Sammler@msammler2 of 2 tasks completed2/2 tasks
Report abuse

Added select and select_revert tactics

As discussed with @robbertkrebbers open points:

  • Names of the tactics (What are the names in Mtac? @janno )
  • Changelog entry?
Edited by Michael Sammler