Skip to content
Snippets Groups Projects

Develop

Merged Develop
develop into master
Merged David Trattnig requested to merge develop into master

Merge request reports

Checking pipeline status.

Approved by
Ernesto Rico Schmidt

Merged by Ernesto Rico SchmidtErnesto Rico Schmidt 3 years ago (Dec 5, 2021 1:57am UTC)

Merge details

  • Changes merged into master with 50bd1d86.
  • Deleted 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