Skip to content
Snippets Groups Projects

GUI repairs and standardization

Merged GUI repairs and standardization
j.grpbox3 into main
Merged Wuttke, Joachim requested to merge j.grpbox3 into main

Merge request reports

Pipeline #117845 passed

Stage: build

Pipeline passed for a851eea0 on j.grpbox3

Approval is optional

Merged by Wuttke, JoachimWuttke, Joachim 1 year ago (Oct 31, 2023 6:42am UTC)

Merge details

  • Changes merged into main with def8466e.
  • Deleted the source branch.
  • Auto-merge enabled

Pipeline #117846 passed

Stage: build

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