Skip to content
Snippets Groups Projects

Develop

Merged Develop
develop into master
Merged jfriedli requested to merge develop into master

Merge request reports

Checking pipeline status.

Approval is optional

Merged by jfriedlijfriedli 5 years ago (Apr 13, 2020 3:28pm UTC)

Merge details

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