Skip to content
Snippets Groups Projects

Merge dev to master

Somebody else has to merge it

Edited by Martin Weise

Merge request reports

Checking pipeline status.

Approval is optional

Merged by Kirill StytsenkoKirill Stytsenko Mar 10, 2022 (Mar 10, 2022 11:32am UTC)

Merge details

  • Changes merged into master with 93dae224.
  • 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