Skip to content
Snippets Groups Projects

rm IRangedDistribution with children, and ScanResolution

Merged rm IRangedDistribution with children, and ScanResolution
i439 into main
Merged Wuttke, Joachim requested to merge i439 into main

This resolves #439 (closed), and brings the cleanup of distributions in scans to a good conclusion.

Merge request reports

Pipeline #87145 passed

Stage: build

Pipeline passed for 149c81a5 on i439

Approval is optional

Merged by Wuttke, JoachimWuttke, Joachim 2 years ago (Jan 27, 2023 2:44pm UTC)

Merge details

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

  • Closed #439 (closed)

  • Auto-merge enabled

Pipeline #87147 passed

Stage: build

Pipeline passed for bbec8b7c 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