Skip to content
Snippets Groups Projects

rename SelectionVector -> PolyVector

Merged rename SelectionVector -> PolyVector
j.2 into main
Merged Wuttke, Joachim requested to merge j.2 into main

Merge request reports

Pipeline #130191 passed

Stage: build

Pipeline passed for c0bb5959 on j.2

Approval is optional

Merged by Wuttke, JoachimWuttke, Joachim 1 year ago (Feb 13, 2024 10:47am UTC)

Merge details

  • Changes merged into main with dc0af70a.
  • Deleted the source branch.

Pipeline #130195 passed

Stage: build

Pipeline passed for dc0af70a on main

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
Please register or sign in to reply