Skip to content
Snippets Groups Projects

hugo corr link in highlightfile

Merged hugo corr link in highlightfile
auto3 into main
Merged Wuttke, Joachim requested to merge auto3 into main

Merge request reports

Pipeline #103386 passed

Stage: build

Pipeline passed for e8db2452 on auto3

Approval is optional

Merged by Wuttke, JoachimWuttke, Joachim 1 year ago (Jun 22, 2023 8:02pm UTC)

Merge details

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

Pipeline #103387 passed

Stage: build

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