Skip to content
Snippets Groups Projects

Merge branch 'development' into 'master'

Passed
Peter Kovář created pipeline for commit 1e805500
, finished
For calloc-correction
4 jobs 56 seconds, queued for 0 seconds