[docedit] some minor fixes regarding discussions
Passed
created pipeline for commit
0344f8ca
, finished
1 related merge request: !107 [docs] acumulating information for bob package development from other packages
6 minutes 5 seconds, queued for 6 seconds