Skip to content
Snippets Groups Projects

minor fixes index.md

Merged minor fixes index.md
(removed):minor-fixes-index into develop
Merged Valentin Groues requested to merge (removed):minor-fixes-index into develop

Merge request reports

Approval is optional

Merged by Laurent HeirendtLaurent Heirendt 2 years ago (May 30, 2022 11:42am UTC)

Merge details

  • Changes merged into develop with 12e0bd88.
  • Deleted the source branch.

Pipeline #57244 passed

Stage: index
    Stage: build

      Pipeline passed for 12e0bd88 on develop

      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