Skip to content
Snippets Groups Projects

doc: proc: Fix outdated comments

Passed
Giovanna Lazzari Miotto created pipeline for commit b19570b9
, finished
For glazzari/test/pinpointing-where-went-wrong
latest
5 jobs 8 minutes 26 seconds, queued for 1 seconds