Skip to content
Snippets Groups Projects
Commit 20002fc4 authored by Constantin P.'s avatar Constantin P. 💬
Browse files

Merge branch 'develop-ports-12.02' into 'develop'

Develop ports 12.02

See merge request !1463
parents 73cdc539 c8d40165
No related branches found
No related tags found
Loading
Pipeline #35551 failed with stage
in 15 minutes and 55 seconds
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment