Skip to content

Unify 'main' and 'devel'

Jaime Gonzalez Gomezrequested to merge
unify into devel

Unifying the commit history of 'devel' and 'main' (setting 'devel' ahead). This is a preventive correction for further development.

Merge request reports