Skip to content
Snippets Groups Projects

Merge !677: main: locally disable a gcc warning since !672

Warning
Petr Špaček created pipeline for commit b4f1082c
, finished
Scheduled
28 jobs 9 minutes 27 seconds, queued for 8 seconds