Skip to content
Snippets Groups Projects
Commit 772ff7b0 authored by jurgenhaas's avatar jurgenhaas
Browse files

Merge branch 'develop' into 'main'

Merging develop into main

See merge request !71
parents 2f6a2ec9 8c6f20da
No related branches found
Tags v3.10.38
1 merge request!71Merging develop into main
Pipeline #922048 passed