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