Skip to content
Snippets Groups Projects

Dev

Merged
Martin Weiserequested to merge
dev into master

Merge request reports

Checking pipeline status.

Approval is optional

Merged by Martin WeiseMartin Weise Jul 12, 2024 (Jul 12, 2024 8:42am UTC)

Merge details

  • Changes merged into master with 17d0a576 (commits were squashed).
  • Did not delete the source branch.

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
Loading