Merge develop into main

Review changes
Open in Workspace
Download
Patches
Plain diff

Merge develop into main

Raphael GIRARDOTrequested to merge

develop into main Dec 04, 2025

Overview 0
Commits 3
Pipelines 0
Changes 7

Merge all changes of develop branch into main branch

Merge request reports

Assignee Loading

Reviewers Loading

Request review from

Loading

Time tracking Loading

Loading

The place to be for your source code