Skip to content
Snippets Groups Projects

Merge branch 'minor_details_master_ahead' into 'master'

Passed
Federico Felici created pipeline for commit 98d74627
, finished
For master
Scheduled
2 jobs 1 minute 12 seconds, queued for 2 seconds