Skip to content
Snippets Groups Projects

rm SpanForm and SpanProperty (#1001)

Merged rm SpanForm and SpanProperty (#1001)
j.0 into main
Merged Wuttke, Joachim requested to merge j.0 into main

This resolves #1001 (closed)

Merge request reports

Pipeline #150283 passed

Stage: build

Pipeline passed for 7c237517 on j.0

Approval is optional

Merged by Wuttke, JoachimWuttke, Joachim 8 months ago (Jul 9, 2024 1:58pm UTC)

Merge details

Pipeline #150284 passed

Stage: build

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